Pages that link to "Item:Q1005985"

The following pages link to Update to ``A survey of abstract algebraic logic'' (Q1005985):

Displaying 21 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)
• Epimorphism surjectivity in varieties of Heyting algebras (Q2195632) (← links)
• Epimorphisms, definability and cardinalities (Q2307302) (← 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)
• THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE (Q5015720) (← links)
• ON EQUATIONAL COMPLETENESS THEOREMS (Q5052010) (← links)
• COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS (Q5241231) (← links)
• Constructive Modalities with Provability Smack (Q5255796) (← links)
• Inconsistency lemmas in algebraic logic (Q5396222) (← links)
• THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY (Q5879187) (← links)