Pages that link to "Item:Q3544316"
From MaRDI portal
The following pages link to Structural Completeness in Substructural Logics (Q3544316):
Displaying 37 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)
- Structural completeness in propositional logics of dependence (Q334998) (← links)
- Admissible rules in the implication-negation fragment of intuitionistic logic (Q638480) (← links)
- Contextual deduction theorems (Q647412) (← links)
- Structural completeness in fuzzy logics (Q1038654) (← 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)
- Metacompleteness of substructural logics (Q1935554) (← 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)
- Proper semantics for substructural logics, from a stalker theoretic point of view (Q2426733) (← 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)
- (Q3505074) (← links)
- (Q3758808) (← links)
- (Q4133631) (← links)
- Tarskian Structured Consequence Relations and Functional Completeness (Q4323834) (← links)
- (Q4820592) (← links)
- (Q4865379) (← 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)
- Substructural logic and partial correctness (Q5267434) (← links)
- (Q5311045) (← links)
- Structural and universal completeness in algebra and logic (Q6145037) (← links)
- On pretabular extensions of relevance logic (Q6636375) (← links)
