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

DOI10.1070/IM1989V032N03ABEH000782zbMATH Open0850.03053OpenAlexW2059983916WikidataQ114644213 ScholiaQ114644213MaRDI QIDQ4711501

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

absorptionsecond-order logiccut-eliminationaxiom of choicesemi-valuationepsilon symbolcut-free derivability

Mathematics Subject Classification ID

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

Recommendations

• Title not available (Why is that?) 👍 👎
• Extended normal form theorems for logical proofs from axioms 👍 👎
• A direct proof of strong normalization for full constructive second-order logic 👍 👎
• A strong normalization result for classical logic 👍 👎
• Normal forms for second-order logic over finite structures, and classification of NP optimization problems 👍 👎
• On proof normal forms for some systems of classical propositional logic 👍 👎
• Normalization theorems for full first order classical natural deduction 👍 👎
• 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 👍 👎

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)