Pages that link to "Item:Q689216"
From MaRDI portal
The following pages link to A structurally complete fragment of relevant logic (Q689216):
Displaying 11 items.
- On rules (Q266650) (← links)
- Structural completeness in relevance logics (Q295911) (← links)
- Contextual deduction theorems (Q647412) (← links)
- Rules in relevant logic. I: Semantic classification (Q1319263) (← links)
- Varieties of De Morgan monoids: minimality and irreducible algebras (Q1730847) (← links)
- Fragments of R-mingle (Q1770601) (← links)
- Tutorial on Admissible Rules in Gudauri (Q3455180) (← links)
- Residuated Structures, Concentric Sums and Finiteness Conditions (Q3543391) (← links)
- Implicational <i>F</i>-structures and implicational relevance logics (Q4508262) (← links)
- Singly generated quasivarieties and residuated structures (Q5119904) (← links)
- INCOMPACTNESS OF THE A1 FRAGMENT OF BASIC SECOND ORDER PROPOSITIONAL RELEVANT LOGIC (Q5235069) (← links)