Logic and Its Applications - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

17
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783662540688, 9783662540695
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Peirce’s Sequent Proofs of Distributivity

2016 ◽  
pp. 168-182 ◽  
Author(s):  
Minghui Ma ◽  
Ahti-Veikko Pietarinen

scholarly journals Neighbourhood Contingency Bisimulation

2016 ◽  
pp. 48-63 ◽  
Author(s):  
Zeinab Bakhtiari ◽  
Hans van Ditmarsch ◽  
Helle Hvid Hansen

scholarly journals Ancient Indian Logic and Analogy

2016 ◽  
pp. 198-210 ◽  
Author(s):  
Jeff B. Paris ◽  
Alena Vencovská
Keyword(s):  
Indian Logic

scholarly journals Knowing Values and Public Inspection

2016 ◽  
pp. 77-90 ◽  
Author(s):  
Jan van Eijck ◽  
Malvin Gattinger ◽  
Yanjing Wang

The Complexity of Finding Read-Once NAE-Resolution Refutations

2016 ◽  
pp. 64-76
Author(s):  
Hans Kleine Büning ◽  
Piotr Wojciechowski ◽  
K. Subramani
Load More ...
Sign in / Sign up

Export Citation Format

Share Document