Pages that link to "Item:Q3544316"
From MaRDI portal
The following pages link to Structural Completeness in Substructural Logics (Q3544316):
Displaying 24 items.
- On rules (Q266650) (← links)
- Almost structural completeness; an algebraic approach (Q278762) (← links)
- A syntactic approach to unification in transitive reflexive modal logics (Q286704) (← links)
- Structural completeness in relevance logics (Q295911) (← links)
- Admissible rules in the implication-negation fragment of intuitionistic logic (Q638480) (← links)
- Contextual deduction theorems (Q647412) (← links)
- The strong version of a sentential logic (Q1680515) (← links)
- Varieties of De Morgan monoids: minimality and irreducible algebras (Q1730847) (← links)
- Finitary extensions of the nilpotent minimum logic and (almost) structural completeness (Q1790605) (← links)
- Hereditarily structurally complete superintuitionistic deductive systems (Q1790607) (← links)
- An algebraic proof of the admissibility of \(\gamma \) in relevant modal logics (Q1935555) (← links)
- Structural completeness in many-valued logics with rational constants (Q2080696) (← links)
- Projectivity in (bounded) commutative integral residuated lattices (Q2108529) (← links)
- Admissibility in De Morgan algebras (Q2391905) (← links)
- BCK is not structurally complete (Q2452677) (← links)
- VARIETIES OF SKEW BOOLEAN ALGEBRAS WITH INTERSECTIONS (Q2986033) (← links)
- Algebraic semantics for the (↔, ¬¬)-fragment of IPC (Q3117777) (← links)
- UNIFICATION IN INTERMEDIATE LOGICS (Q3450801) (← links)
- Algebraic semantics for the ‐fragment of and its properties (Q5108101) (← links)
- HEREDITARILY STRUCTURALLY COMPLETE POSITIVE LOGICS (Q5117590) (← links)
- Singly generated quasivarieties and residuated structures (Q5119904) (← links)
- VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS (Q5241233) (← links)
- Idempotent residuated structures: Some category equivalences and their applications (Q5246960) (← links)
- Structural and universal completeness in algebra and logic (Q6145037) (← links)
