Pages that link to "Item:Q5718685"
From MaRDI portal
The following pages link to Canonical extensions and relational completeness of some substructural logics (Q5718685):
Displaying 10 items.
- (Q4625704) (← links)
- Residuated frames with applications to decidability (Q4913809) (← links)
- (Q5119388) (← links)
- Modal translation of substructural logics (Q5217248) (← links)
- A relational semantics for the logic of bounded lattices (Q5227167) (← links)
- Easkia Duality and Its Extensions (Q5255792) (← links)
- Linear Logic Properly Displayed (Q5886520) (← links)
- Amalgamating poset extensions and generating free lattices (Q6105030) (← links)
- Subordination algebras as semantic environment of input/output logic (Q6160753) (← links)
- Stone duality for relations (Q6612781) (← links)