Pages that link to "Item:Q2264755"
From MaRDI portal
The following pages link to Conservative extension in relevant implication (Q2264755):
Displaying 13 items.
- Contextual deduction theorems (Q647412) (← links)
- A reduction of classical propositional logic to the conjunction-negation fragment of an intuitionistic relevant logic (Q1158407) (← links)
- Implication lattices (Q1215628) (← links)
- Classical relevant logics. I (Q1221097) (← links)
- The semantics of entailment. III (Q1221740) (← links)
- Relevant analytic tableaux (Q1257473) (← links)
- Fragments of R-mingle (Q1770601) (← links)
- Subdirectly irreducible residuated semilattices and positive universal classes (Q2433107) (← links)
- Representable idempotent commutative residuated lattices (Q3443137) (← links)
- ASSERTIONALLY EQUIVALENT QUASIVARIETIES (Q3519801) (← links)
- Residuated Structures, Concentric Sums and Finiteness Conditions (Q3543391) (← links)
- VARIETIES OF DE MORGAN MONOIDS: COVERS OF ATOMS (Q5107537) (← links)
- AGGREGATION AND IDEMPOTENCE (Q5414137) (← links)
