The naturality of natural deduction

DOI10.1007/S11225-017-9772-6OpenAlexW2510649957MaRDI QIDQ2631649FDOQ2631649

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

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

zbMATH Keywords

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

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A natural extension of natural deduction
• The Russell-Prawitz modality
• The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony
• Title not available (Why is that?)
• Functorial polymorphism
• Title not available (Why is that?)
• Commuting conversions vs. the standard conversions of the ``good connectives
• Atomic polymorphism
• Title not available (Why is that?)
• Extensional Rewriting with Sums
• Proof-theoretic harmony: towards an intensional account

Cited In (20)

• Title not available (Why is that?)
• Aristotle'S natural deduction reconsidered
• General proof theory: introduction
• Axiomatic Thinking, Identity of Proofs and the Quest for an Intensional Proof-Theoretic Semantics
• Title not available (Why is that?)
• The naturality of natural deduction. II: on atomic polymorphism and generalized propositional connectives
• Naturality and definability II
• Natural Deduction for Equality: The Missing Entity
• The naturality of natural deduction
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• Polymorphism and the obstinate circularity of second order logic: a victims' tale
• Title not available (Why is that?)

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)