Pages that link to "Item:Q4644494"
From MaRDI portal
The following pages link to Logics of varieties, logics of semilattices and conjunction (Q4644494):
Displaying 18 items.
- Abelian logic and the logics of pointed lattice-ordered varieties (Q1001368) (← links)
- Algebraic logic for classical conjunction and disjunction (Q1189892) (← links)
- Semantic properties of \(T\)-consequence relation in logics of quasiary predicates (Q1650326) (← links)
- A computational glimpse at the Leibniz and Frege hierarchies (Q1676326) (← links)
- Characterizing finite-valuedness (Q1795205) (← links)
- Algebraizable logics with a strong conjunction and their semi-lattice based companions (Q1938393) (← links)
- Countably many weakenings of Belnap-Dunn logic (Q2307298) (← links)
- The logic of sortals. A conceptualist approach (Q2686873) (← links)
- On semilattice-based logics with an algebraizable assertional companion (Q2888156) (← links)
- Common Logic of 2‐Valued Semigroup Connectives (Q3982865) (← links)
- A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS (Q4557168) (← links)
- R n - and G n -logics (Q4645806) (← links)
- THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE (Q5015720) (← links)
- (Q5101334) (← links)
- (Q5411458) (← links)
- (Q5413349) (← links)
- On congruence modularity in varieties of logic. (Q5932592) (← links)
- Filter classes of upsets of distributive lattices (Q6615239) (← links)