Pages that link to "Item:Q1005985"

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

Displaying 6 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)