Results 101 to 110 of about 368 (115)
Some of the next articles are maybe not open access.
Harmony in Multiple-Conclusion Natural-Deduction
Logica Universalis, 2014Nissim FRANCEZ, FRANCEZ Nissim
exaly
A Semantics of Realisability for the Classical Propositional Natural Deduction
Electronic Notes in Theoretical Computer Science, 2005exaly
A natural deduction system for discourse representation theory
Journal of Philosophical Logic, 1993exaly