A NORMAL FORM THEOREM FOR SECOND-ORDER CLASSICAL LOGIC WITH AN AXIOM OF CHOICE

DOI10.1070/IM1989V032N03ABEH000782MaRDI QIDQ4711501zbMATH OpenOpenAlexWikidataFDO

Authors G. E. Mints

Publication date 25 June 1992

Published in Mathematics of the USSR-Izvestiya (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1070/im1989v032n03abeh000782

zbMATH Keywords

axiom of choicecut-eliminationabsorptionsecond-order logicsemi-valuationepsilon symbolcut-free derivability

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05)

Recommendations

• scientific article; zbMATH DE number 4066873
• The Axiom of Choice in Second‐Order Predicate Logic
• Proofs of strong normalisation for second order classical natural deduction
• A NOTE ON CHOICE PRINCIPLES IN SECOND-ORDER LOGIC
• A strong normalization result for classical logic
• A direct proof of strong normalization for full constructive second-order logic
• Extended normal form theorems for logical proofs from axioms
• On proof normal forms for some systems of classical propositional logic
• Normal forms for second-order logic over finite structures, and classification of NP optimization problems
• Normalization theorems for full first order classical natural deduction

This page was built for publication: A NORMAL FORM THEOREM FOR SECOND-ORDER CLASSICAL LOGIC WITH AN AXIOM OF CHOICE

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