scientific article; zbMATH DE number 4195935

MaRDI QIDQ5202652zbMATH OpenFDO

Authors G. E. Mints

Publication date 1990

zbMATH Keywords

first-order arithmeticnormal form theorempredicate calculus

Mathematics Subject Classification ID

Classical first-order logic (03B10) Cut-elimination and normal-form theorems (03F05) First-order arithmetic and fragments (03F30)

Recommendations

• A strong normalization result for classical logic
• Extended normal form theorems for logical proofs from axioms
• On strong normalization in proof-graphs for propositional logic
• scientific article; zbMATH DE number 432735
• The normalization theorem for extended natural deduction
• Strong Normalization of the Dual Classical Sequent Calculus
• Strong reduction and normal form in combinatory logic
• scientific article; zbMATH DE number 1354101
• Predicate logics of expressively strong theories
• A GENERALIZATION OF LINDENBAUM'S THEOREM FOR PREDICATE CALCULI

Cited in

(2)

• scientific article; zbMATH DE number 3950521 (Why is no real title available?)
• Prenex normal form theorems in semi-classical arithmetic

This page was built for publication:

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