Pages that link to "Item:Q3472078"
From MaRDI portal
The following pages link to Note on algebraic models for relevance logic (Q3472078):
Displayed 20 items.
- Structural completeness in relevance logics (Q295911) (← links)
- Fregean logics (Q598302) (← links)
- Leibniz-linked pairs of deductive systems (Q647411) (← links)
- Contextual deduction theorems (Q647412) (← links)
- Taking degrees of truth seriously (Q1015492) (← links)
- On the structure of varieties with equationally definable principal congruences. III (Q1342132) (← links)
- The strong version of a sentential logic (Q1680515) (← links)
- Varieties of De Morgan monoids: minimality and irreducible algebras (Q1730847) (← links)
- Fragments of R-mingle (Q1770601) (← links)
- Algebraic study of two deductive systems of relevance logic (Q1893139) (← links)
- The Beth property in algebraic logic (Q2433094) (← links)
- On the closure properties of the class of full G-models of a deductive system (Q2433101) (← links)
- Equivalential and algebraizable logics (Q2563460) (← links)
- A finite model property for RMImin (Q3418090) (← links)
- ASSERTIONALLY EQUIVALENT QUASIVARIETIES (Q3519801) (← links)
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
- There exist exactly two maximal strictly relevant extensions of the relevant logic <i>R</i> (Q4934032) (← links)
- Singly generated quasivarieties and residuated structures (Q5119904) (← links)
- Two Infinite Sequences of Pre-Maximal Extensions of the Relevant Logic E (Q5241401) (← links)
- There exists an uncountable set of pretabular extensions of the relevant logic <i>R</i> and each logic of this set is generated by a variety of finite height (Q5502814) (← links)