scientific article; zbMATH DE number 4195935

zbMATH Open0725.03036MaRDI QIDQ5202652

G. E. Mints

Publication date: 1990

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

predicate calculusfirst-order arithmeticnormal form theorem

Mathematics Subject Classification ID

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

Recommendations

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

This page was built for publication: