Naturalizing natural deduction

DOI10.1007/978-3-319-24756-4_7MaRDI QIDQ5224775zbMATH OpenOpenAlexFDO

Authors David DeVidi, Herbert Korte

Publication date 24 July 2019

Published in Studies in Universal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-24756-4_7

zbMATH Keywords

Fregelogicnatural deductionGentzenquantifierJeffrey C. Kingkit finearbitrary objectepsilon operatorFrancis Jeffry Pelletier

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Classical first-order logic (03B10)

Recommendations

• Natural deduction and arbitrary objects
• scientific article; zbMATH DE number 30927
• Natural deduction in normal modal logic
• Existential instantiation and normalization in sequent natural deduction
• On being naturally general

Cited in

(13)

• Naturality and definability II
• scientific article; zbMATH DE number 3933036 (Why is no real title available?)
• Natural Deduction for Equality: The Missing Entity
• scientific article; zbMATH DE number 4193763 (Why is no real title available?)
• Natural deduction and Curry's paradox
• scientific article; zbMATH DE number 2015404 (Why is no real title available?)
• A Brief History of Natural Deduction
• Natural implication and modus ponens principle
• Natural deduction and arbitrary objects
• Contextual Natural Deduction
• Natural proofs
• The naturality of natural deduction
• Natural deduction as higher-order resolution

This page was built for publication: Naturalizing natural deduction

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