Pages that link to "Item:Q4586412"
From MaRDI portal
The following pages link to Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic (Q4586412):
Displayed 8 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 STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS (Q4557168) (← 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)
- Abstract algebraic logic. An introductory chapter (Q6120603) (← links)