Pages that link to "Item:Q1077403"
From MaRDI portal
The following pages link to Semantical analysis of predicate logics without the contraction rule (Q1077403):
Displaying 5 items.
- Algebraic Kripke-style semantics for relevance logics (Q484156) (← links)
- Dual tableau for monoidal triangular norm logic MTL (Q622083) (← links)
- Predicate logics without the structure rules (Q1089330) (← links)
- On the structure of varieties with equationally definable principal congruences. III (Q1342132) (← links)
- Cover systems for the modalities of linear logic (Q6201546) (← links)