Pages that link to "Item:Q2743637"
From MaRDI portal
The following pages link to Semantics for structurally free logics LC+ (Q2743637):
Displayed 6 items.
- Current trends in substructural logics (Q266641) (← links)
- Admissibility of cut in LC with fixed point combinator (Q817697) (← links)
- Relational semantics for Kleene logic and action logic (Q817963) (← links)
- Four-valued logic (Q1422105) (← links)
- Symmetric generalized Galois logics (Q1931307) (← links)
- St. Alasdair on Lattices Everywhere (Q5027242) (← links)