Pages that link to "Item:Q3731579"
From MaRDI portal
The following pages link to Semantics for some intermediate logics (Q3731579):
Displaying 6 items.
- Ordered sets R and Q as bases of Kripke models (Q1109762) (← links)
- Simplified semantics for basic relevant logics (Q1187984) (← links)
- Topologies for intermediate logics (Q2922497) (← links)
- (Q3707996) (← links)
- An extension of intermediate predicate logics to higher order (Q3979923) (← links)
- Logics of varieties, logics of semilattices and conjunction (Q4644494) (← links)