Completeness of calculii for axiomatically defined classes of algebras

DOI10.1007/BF02945004zbMATH Open0251.08005MaRDI QIDQ2556880FDOQ2556880

Authors: Alan L. Selman 

Publication date: 1972

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

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• The completeness of the first-order functional calculus
• The decision problem for some classes of sentences without quantifiers
• Title not available (Why is that?)
• Title not available (Why is that?)
• Fragments of the propositional calculus
• Title not available (Why is that?)

Cited In (18)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2556880)