Deriving Natural Deduction Rules from Truth Tables

DOI10.1007/978-3-662-54069-5_10zbMath1485.03230OpenAlexW2557556672MaRDI QIDQ5224496

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

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

Related Items (6)

Effect of the choice of connectives on the relation between classical logic and intuitionistic logic ⋮ What kinds of connectives cause the difference between intuitionistic predicate logic and the logic of constant domains? ⋮ Definability of Boolean functions in Kripke semantics ⋮ Proof Terms for Generalized Natural Deduction ⋮ Deriving Natural Deduction Rules from Truth Tables ⋮ CUT ELIMINATION AND NORMALIZATION FOR GENERALIZED SINGLE AND MULTI-CONCLUSION SEQUENT AND NATURAL DEDUCTION CALCULI

Uses Software

• Pesca

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A note on harmony
• Constructivism in mathematics. An introduction. Volume II
• Natural deduction with general elimination rules
• The duality of computation
• A natural extension of natural deduction
• Inversion Principles and Introduction Rules
• Deriving Natural Deduction Rules from Truth Tables
• Some Remarks on Proof-Theoretic Semantics
• Logic and structure.

This page was built for publication: Deriving Natural Deduction Rules from Truth Tables