Naturalizing natural deduction

DOI10.1007/978-3-319-24756-4_7zbMATH Open1418.03011OpenAlexW2494553090MaRDI QIDQ5224775FDOQ5224775

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

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

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)

Cited In (13)

• Title not available (Why is that?)
• Naturality and definability II
• Natural Deduction for Equality: The Missing Entity
• Title not available (Why is that?)
• Contextual Natural Deduction
• Natural deduction as higher-order resolution
• Title not available (Why is that?)
• Natural deduction and Curry's paradox
• Natural deduction and arbitrary objects
• Natural proofs
• A Brief History of Natural Deduction
• Natural implication and modus ponens principle
• The naturality of natural deduction

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)