Pages that link to "Item:Q4586412"

The following pages link to Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic (Q4586412):

Displaying 10 items.

• The strong version of a sentential logic (Q1680515) (← links)
• An algebraic view of super-Belnap logics (Q1685564) (← links)
• On the complexity of the Leibniz hierarchy (Q1740630) (← links)
• A new hierarchy of infinitary logics in abstract algebraic logic (Q2363502) (← links)
• Abstract logics, logic maps, and logic homomorphisms (Q2470758) (← links)
• A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS (Q4557168) (← links)
• (Q4697917) (← links)
• THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE (Q5015720) (← links)
• ON EQUATIONAL COMPLETENESS THEOREMS (Q5052010) (← links)
• THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY (Q5879187) (← links)