THE SUBFORMULA PROPERTY IN CLASSICAL NATURAL DEDUCTION ESTABLISHED CONSTRUCTIVELY

DOI10.1017/S1755020312000202zbMath1283.03067MaRDI QIDQ4899967

Tor Sandqvist

Publication date: 10 January 2013

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Mathematics Subject Classification ID

Classical first-order logic (03B10) Basic properties of first-order languages and structures (03C07)

Related Items

Inversion Principles and Introduction Rules

Cites Work

• Unnamed Item
• ARBITRARY TRUTH-VALUE FUNCTIONS AND NATURAL DEDUCTION
• SUBFORMULA AND SEPARATION PROPERTIES IN NATURAL DEDUCTION VIA SMALL KRIPKE MODELS