The naturality of natural deduction

DOI10.1007/S11225-017-9772-6MaRDI QIDQ2631649zbMATH OpenOpenAlexFDO

Authors Luca Tranchini, Paolo Pistone, Mattia Petrolo

Publication date 15 May 2019

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1607.06603

zbMATH Keywords

second order logicidentity of proofpermutative conversionsRussell-Prawitz translation$\eta $-conversiondinaturality conditionfunctorial interpretation

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• Naturalizing natural deduction
• Natural deduction
• A natural extension of natural deduction
• scientific article; zbMATH DE number 3275554
• A relevant analysis of natural deduction
• scientific article; zbMATH DE number 4047678
• Natural deduction bottom up
• scientific article; zbMATH DE number 1335693
• Natural deduction and arbitrary objects
• Natural deduction in normal modal logic

Cites work

• scientific article; zbMATH DE number 2185660 (Why is no real title available?)
• scientific article; zbMATH DE number 3683840 (Why is no real title available?)
• scientific article; zbMATH DE number 42059 (Why is no real title available?)
• scientific article; zbMATH DE number 65746 (Why is no real title available?)
• scientific article; zbMATH DE number 3630747 (Why is no real title available?)
• scientific article; zbMATH DE number 1497485 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3358455 (Why is no real title available?)
• A natural extension of natural deduction
• Atomic polymorphism
• Commuting conversions vs. the standard conversions of the ``good connectives
• Extensional Rewriting with Sums
• Functorial polymorphism
• Proof-theoretic harmony: towards an intensional account
• The Russell-Prawitz modality
• The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony

Cited in

(20)

• scientific article; zbMATH DE number 5896737 (Why is no real title available?)
• Aristotle'S natural deduction reconsidered
• General proof theory: introduction
• Axiomatic Thinking, Identity of Proofs and the Quest for an Intensional Proof-Theoretic Semantics
• scientific article; zbMATH DE number 3933036 (Why is no real title available?)
• The naturality of natural deduction. II: on atomic polymorphism and generalized propositional connectives
• Naturality and definability II
• Natural Deduction for Equality: The Missing Entity
• scientific article; zbMATH DE number 7241870 (Why is no real title available?)
• scientific article; zbMATH DE number 7593545 (Why is no real title available?)
• Proof-theoretic harmony: towards an intensional account
• Natural deduction and Curry's paradox
• Natural deduction and arbitrary objects
• Intensional harmony as isomorphism
• A Brief History of Natural Deduction
• Natural implication and modus ponens principle
• Proof nets, coends and the Yoneda isomorphism
• The naturality of natural deduction
• Polymorphism and the obstinate circularity of second order logic: a victims' tale
• scientific article; zbMATH DE number 7577586 (Why is no real title available?)

This page was built for publication: The naturality of natural deduction

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