Towards a Canonical Classical Natural Deduction System

DOI10.1007/978-3-642-15205-4_24MaRDI QIDQ3586047zbMATH OpenOpenAlexFDO

Authors José Espírito Santo

Publication date 3 September 2010

Published in Computer Science Logic (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/1822/11161

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Structure of proofs (03F07)

Recommendations

• Towards a canonical classical natural deduction system
• Natural deduction for non-classical logics
• Natural deduction, hybrid systems and modal logics
• A semantics of realisability for the classical propositional natural deduction
• scientific article; zbMATH DE number 3853043
• Classical natural deduction
• Probabilized Sequent Calculus and Natural Deduction System for Classical Logic
• Natural deduction systems for logics in the FDE family
• Label-free natural deduction systems for intuitionistic and classical modal logics
• A simplified natural deduction approach to certain modal systems

Cited in

(5)

• Towards a canonical classical natural deduction system
• Proofs, upside down. A functional correspondence between natural deduction and the sequent calculus
• Stanisław Jaśkowski and Natural Deduction Systems
• scientific article; zbMATH DE number 7599926 (Why is no real title available?)
• Mathematical Knowledge Management

This page was built for publication: Towards a Canonical Classical Natural Deduction System

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3586047)