Reduction in first-order logic compared with reduction in implicational logic

MaRDI QIDQ3629229zbMATH OpenFDO

Authors Tigran M. Galoyan

Publication date 27 May 2009

zbMATH Keywords

fragment of first-order logicimplicational logicnatural deductionstrong normalization

Mathematics Subject Classification ID

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

Recommendations

• A normalization-procedure for the first order classical natural deduction with full logical symbols
• Strong normalization for all-style \(\mathbf{LK}^\mathrm{tq}\)
• Extended Natural Deduction Images of Conversions from the System of Sequents
• scientific article; zbMATH DE number 1082077
• Normalization theorems for full first order classical natural deduction

This page was built for publication: Reduction in first-order logic compared with reduction in implicational logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3629229)