The following pages link to (Q4026931):
Displayed 4 items.
- Algebraic Kripke-style semantics for relevance logics (Q484156) (← links)
- Modalities in linear logic weaker than the exponential ``of course'': Algebraic and relational semantics (Q1337609) (← links)
- Order-dual relational semantics for non-distributive propositional logics: a general framework (Q1702978) (← links)
- Modal translation of substructural logics (Q5217248) (← links)