Naturalizing Natural Deduction

DOI10.1007/978-3-319-24756-4_7zbMath1418.03011OpenAlexW2494553090MaRDI QIDQ5224775

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

natural deductionFregelogicquantifierGentzenJeffrey 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)

This page was built for publication: Naturalizing Natural Deduction