Completeness of calculii for axiomatically defined classes of algebras

DOI10.1007/BF02945004zbMath0251.08005MaRDI QIDQ2556880

Selman, Alan L.

Publication date: 1972

Published in: Algebra Universalis (Search for Journal in Brave)

Mathematics Subject Classification ID

Axiomatic model classes (08C10) Varieties (08B99) Categoricity and completeness of theories (03C35) Algebraic structures (08Axx)

Related Items (18)

Fuzzy Horn logic. II. Implicationally defined classes. ⋮ Bases of admissible rules of the logics S4 and Int ⋮ Generalized varieties ⋮ Gentzen-style axiomatizations in equational logic ⋮ Induction using term orders ⋮ Observational implementations ⋮ Universal algebraic methods for non-classical logics ⋮ 2-element matrices ⋮ Logicality of conditional rewrite systems ⋮ Comparison of functional and predicative query paradigms ⋮ Fragments of first order logic, I: universal Horn logic ⋮ Unnamed Item ⋮ Modular specification of process algebras ⋮ Completeness Theorems for Universal and Implicational Logics of Algebras Via Congruences ⋮ Characterizing specification languages which admit initial semantics ⋮ Fuzzy Horn logic. I. Proof theory. ⋮ Conditional rewrite rules ⋮ Contextual rewriting as a sound and complete proof method for conditional LOG-specifications

Cites Work

• The completeness of the first-order functional calculus
• Fragments of the propositional calculus
• The decision problem for some classes of sentences without quantifiers
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Completeness of calculii for axiomatically defined classes of algebras