Towards a Canonical Classical Natural Deduction System

DOI10.1007/978-3-642-15205-4_24zbMATH Open1287.03037OpenAlexW1822259583MaRDI QIDQ3586047

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

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

Related Items (3)

Proofs, Upside Down ⋮ Stanisław Jaśkowski and Natural Deduction Systems ⋮ Title not available (Why is that?)

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Natural deduction, hybrid systems and modal logics 👍 👎
• A simplified natural deduction approach to certain modal systems 👍 👎
• Natural deduction for non-classical logics 👍 👎
• Towards a canonical classical natural deduction system 👍 👎
• A semantics of realisability for the classical propositional natural deduction 👍 👎
• Label-free natural deduction systems for intuitionistic and classical modal logics 👍 👎
• Natural Deduction Systems for Logics in the FDE Family 👍 👎
• Probabilized Sequent Calculus and Natural Deduction System for Classical Logic 👍 👎

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)