Deriving natural deduction rules from truth tables

DOI10.1007/978-3-662-54069-5_10MaRDI QIDQ5224496zbMATH OpenOpenAlexFDO

Authors Herman Geuvers, Tonny Hurkens

Publication date 24 July 2019

Published in Logic and Its Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-54069-5_10

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Cut-elimination and normal-form theorems (03F05)

Recommendations

• Natural deduction for the Sheffer stroke and Peirce's arrow (and any other truth-functional connective)
• Strong normalization for truth table natural deduction
• Cut elimination and normalization for generalized single and multi-conclusion sequent and natural deduction calculi
• Natural deduction with general elimination rules
• Peirce's rule in natural deduction.

Cites work

• A natural extension of natural deduction
• A note on harmony
• Constructivism in mathematics. An introduction. Volume II
• Deriving natural deduction rules from truth tables
• scientific article; zbMATH DE number 1324438 (Why is no real title available?)
• scientific article; zbMATH DE number 2038761 (Why is no real title available?)
• scientific article; zbMATH DE number 3358455 (Why is no real title available?)
• Inversion principles and introduction rules
• Logic and structure.
• Natural deduction with general elimination rules
• Some Remarks on Proof-Theoretic Semantics
• Structural proof theory. With an appendix by Aarne Ranta
• The duality of computation

Cited in

(10)

• Effect of the choice of connectives on the relation between classical logic and intuitionistic logic
• Natural deduction for the Sheffer stroke and Peirce's arrow (and any other truth-functional connective)
• Cut elimination and normalization for generalized single and multi-conclusion sequent and natural deduction calculi
• Deriving natural deduction rules from truth tables
• Intelim rules for classical connectives
• Proof Terms for Generalized Natural Deduction
• What kinds of connectives cause the difference between intuitionistic predicate logic and the logic of constant domains?
• Definability of Boolean functions in Kripke semantics
• A faithful and quantitative notion of distant reduction for the lambda-calculus with generalized applications
• On model-theoretic strong normalization for truth-table natural deduction

Describes a project that uses

Uses Software

• Pesca

This page was built for publication: Deriving natural deduction rules from truth tables

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