Pages that link to "Item:Q2904066"
From MaRDI portal
The following pages link to Bi-approximation semantics for substructural logic at work (Q2904066):
Displaying 8 items.
- The distributivity on bi-approximation semantics (Q306839) (← links)
- Bi-inductive structural semantics (Q1012127) (← links)
- Order-dual relational semantics for non-distributive propositional logics: a general framework (Q1702978) (← links)
- Reasoning with Incomplete Information in Generalized Galois Logics Without Distribution: The Case of Negation and Modal Operators (Q3305430) (← links)
- Modal translation of substructural logics (Q5217248) (← links)
- Lattice logic as a fragment of (2-sorted) residuated modal logic (Q5379322) (← links)
- (Q5419897) (← links)
- Choice-free topological duality for implicative lattices and Heyting algebras (Q6183434) (← links)