Pages that link to "Item:Q3472078"

The following pages link to Note on algebraic models for relevance logic (Q3472078):

Displaying 22 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)
• Relevance and paraconsistency—a new approach (Q3484811) (← 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)
• On pretabular extensions of relevance logic (Q6636375) (← links)