Pages that link to "Item:Q4994024"
From MaRDI portal
The following pages link to Logics of variable inclusion and the lattice of consequence relations (Q4994024):
Displaying 6 items.
- Containment logics: algebraic completeness and axiomatization (Q2062211) (← links)
- Meaningless divisions (Q2075270) (← links)
- Proof theory of paraconsistent weak Kleene logic (Q2193974) (← links)
- Hierarchies in Inclusion Logic with Lax Semantics (Q2937394) (← links)
- Logics of varieties, logics of semilattices and conjunction (Q4644494) (← links)
- Normalisation for some infectious logics and their relatives (Q6659895) (← links)