scientific article; zbMATH DE number 3591948

MaRDI QIDQ4159023zbMATH OpenFDO

Authors Michael M. Richter

Publication date 1978

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Classical propositional logic (03B05) Cut-elimination and normal-form theorems (03F05) Mathematics for nonmathematicians (engineering, social sciences, etc.) (00A06) Classical first-order logic (03B10) Mechanization of proofs and logical operations (03B35) Quantum logic (03G12) Logical aspects of lattices and related structures (03G10) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Logical aspects of Boolean algebras (03G05)

Cited in

(3)

• The equational theory of parameterized specifications
• Unification in a combination of arbitrary disjoint equational theories
• A generalization of the zero-one principle for sorting algorithms

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 Q4159023)