Propositions in Prepositional Logic Provable Only by Indirect Proofs

DOI10.1002/malq.19980440105zbMath0906.03056OpenAlexW2092498213MaRDI QIDQ4379628

Jan Ekman

Publication date: 22 February 1999

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19980440105

zbMATH Keywords

normalizationnatural deductioncomprehension

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items

Non-transitive correspondence analysis ⋮ Negation-free and contradiction-free proof of the Steiner-Lehmus theorem ⋮ Paradox and Inconsistency: Revising Tennant’s Distinction Through Schroeder-Heister’s Assumption Rules ⋮ Proof-theoretic semantics, self-contradiction, and the format of deductive reasoning