Pages that link to "Item:Q2556880"
From MaRDI portal
The following pages link to Completeness of calculii for axiomatically defined classes of algebras (Q2556880):
Displaying 17 items.
- Comparison of functional and predicative query paradigms (Q676417) (← links)
- Characterizing specification languages which admit initial semantics (Q792080) (← links)
- Fuzzy Horn logic. II. Implicationally defined classes. (Q818519) (← links)
- Conditional rewrite rules (Q1065790) (← links)
- Bases of admissible rules of the logics S4 and Int (Q1079559) (← links)
- 2-element matrices (Q1168307) (← links)
- Contextual rewriting as a sound and complete proof method for conditional LOG-specifications (Q1323311) (← links)
- Modular specification of process algebras (Q1802074) (← links)
- Gentzen-style axiomatizations in equational logic (Q1902550) (← links)
- Induction using term orders (Q1915132) (← links)
- Logicality of conditional rewrite systems (Q1978646) (← links)
- Generalized varieties (Q2366144) (← links)
- Fuzzy Horn logic. I. Proof theory. (Q2580956) (← links)
- Completeness Theorems for Universal and Implicational Logics of Algebras Via Congruences (Q3801619) (← links)
- Fragments of first order logic, I: universal Horn logic (Q4159026) (← links)
- (Q4298793) (← links)
- Observational implementations (Q5096143) (← links)