Pages that link to "Item:Q1826930"
From MaRDI portal
The following pages link to Rule separation and embedding theorems for logics without weakening (Q1826930):
Displayed 17 items.
- Cut elimination and strong separation for substructural logics: an algebraic approach (Q636346) (← links)
- Contextual deduction theorems (Q647412) (← links)
- Constructive logic with strong negation is a substructural logic. I (Q931408) (← links)
- Completion and finite embeddability property for residuated ordered algebras. (Q993327) (← links)
- Constructive logic with strong negation is a substructural logic. II (Q1005940) (← links)
- Varieties of De Morgan monoids: minimality and irreducible algebras (Q1730847) (← links)
- Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL (Q2433102) (← links)
- Subdirectly irreducible residuated semilattices and positive universal classes (Q2433107) (← links)
- On varieties of biresiduation algebras (Q2433109) (← links)
- Semi-linear Varieties of Lattice-Ordered Algebras (Q2948590) (← links)
- The finite model property for knotted extensions of propositional linear logic (Q3370755) (← links)
- Correspondences between gentzen and hilbert systems (Q3410681) (← links)
- Representable idempotent commutative residuated lattices (Q3443137) (← links)
- ASSERTIONALLY EQUIVALENT QUASIVARIETIES (Q3519801) (← links)
- Residuated Structures, Concentric Sums and Finiteness Conditions (Q3543391) (← links)
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
- Residuated frames with applications to decidability (Q4913809) (← links)