scientific article; zbMATH DE number 1420786
From MaRDI portal
Publication:4944850
zbMath0944.03052MaRDI QIDQ4944850
Publication date: 20 September 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
higher-order logicrewrite systemlogical consistencyproof normalizationextensions of first-order-logicidentifying propositions modulo a given congruence
Classical first-order logic (03B10) Mechanization of proofs and logical operations (03B35) Cut-elimination and normal-form theorems (03F05)
Related Items