Pages that link to "Item:Q1005985"
From MaRDI portal
The following pages link to Update to ``A survey of abstract algebraic logic'' (Q1005985):
Displayed 15 items.
- The semantic isomorphism theorem in abstract algebraic logic (Q324257) (← links)
- The proof by cases property and its variants in structural consequence relations (Q368486) (← links)
- A note on congruences of semilattices with sectionally finite height. (Q471164) (← links)
- A note on natural extensions in abstract algebraic logic (Q495839) (← links)
- On the complexity of the Leibniz hierarchy (Q1740630) (← links)
- Extension properties and subdirect representation in abstract algebraic logic (Q1756591) (← links)
- An algebraic study of exactness in partial contexts (Q2353690) (← links)
- A new hierarchy of infinitary logics in abstract algebraic logic (Q2363502) (← links)
- Epimorphisms in varieties of residuated structures (Q2411405) (← links)
- Consequence and Degrees of Truth in Many-Valued Logic (Q2948586) (← links)
- A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS (Q4557168) (← links)
- A Mathematical Life (Q4586411) (← links)
- ALGEBRAIC LOGIC AND LOGICALLY-GEOMETRIC TYPES IN VARIETIES OF ALGEBRAS (Q4909150) (← links)
- Constructive Modalities with Provability Smack (Q5255796) (← links)
- Inconsistency lemmas in algebraic logic (Q5396222) (← links)