scientific article; zbMATH DE number 3591948

zbMATH Open0381.03002MaRDI QIDQ4159023FDOQ4159023

Authors: Michael M. Richter 

Publication date: 1978

Title of this publication is not available (Why is that?)

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)