Kneale's natural deductions as a notational variant of Beth's tableaus

DOI10.1007/s11787-021-00279-0OpenAlexW3173860511MaRDI QIDQ2169120

Zvonimir Šikić

Publication date: 1 September 2022

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-021-00279-0

zbMATH Keywords

Beth's tableausGentzen's sequential systemKneale's natural deductions

Mathematics Subject Classification ID

Classical first-order logic (03B10)

Cites Work

• The foundations of mathematics. A study in the philosophy of science
• Proof methods for modal and intuitionistic logics
• Untersuchungen über das logische Schliessen. I
• Untersuchungen über das logische Schliessen. II
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Kneale's natural deductions as a notational variant of Beth's tableaus