Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by José Espírito Santo
Towards a Canonical Classical Natural Deduction System
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Natural Deduction in a Paracomplete Setting
Logical Investigations
Natural Deduction for Hybrid Logic
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
Natural Deduction for Intuitionistic Linear Logic
Annals of Pure and Applied Logic
Logic
RFID Based Toll Deduction System
International Journal of Information Technology and Computer Science
Towards a Coordinated Information System for Natural Resource Planning
Journal of the Northeastern Agricultural Economics Council
Natural Deduction Systems for Some Non-Commutative Logics
Logic and Logical Philosophy
Philosophy
Differential Expression of Canonical (Classical) Transient Receptor Potential Channels in Guinea Pig Enteric Nervous System
Journal of Comparative Neurology
Neuroscience
ASPIC-END: Structured Argumentation With Explanations and Natural Deduction
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
On Some Relations Between Natural Deduction and Sequent Calculus
