Completeness of calculii for axiomatically defined classes of algebras
From MaRDI portal
(Redirected from Publication:2556880)
Cites work
- scientific article; zbMATH DE number 3337681 (Why is no real title available?)
- scientific article; zbMATH DE number 3019695 (Why is no real title available?)
- scientific article; zbMATH DE number 3073037 (Why is no real title available?)
- scientific article; zbMATH DE number 3073050 (Why is no real title available?)
- scientific article; zbMATH DE number 3095825 (Why is no real title available?)
- Fragments of the propositional calculus
- The completeness of the first-order functional calculus
- The decision problem for some classes of sentences without quantifiers
Cited in
(18)- Characterizing specification languages which admit initial semantics
- Completeness Theorems for Universal and Implicational Logics of Algebras Via Congruences
- Modular specification of process algebras
- 2-element matrices
- Induction using term orders
- Generalized varieties
- Fuzzy Horn logic. II. Implicationally defined classes.
- Logicality of conditional rewrite systems
- Bases of admissible rules of the logics S4 and Int
- Gentzen-style axiomatizations in equational logic
- Observational implementations
- scientific article; zbMATH DE number 597743 (Why is no real title available?)
- 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)
