The following pages link to (Q4208569):
Displaying 8 items.
- From closure games to strong Kleene truth (Q286693) (← links)
- Structural completeness in propositional logics of dependence (Q334998) (← links)
- From IF to BI. A tale of dependence and separation (Q833040) (← links)
- Husserl on completeness, definitely (Q1989957) (← links)
- Negation and partial axiomatizations of dependence and independence logic revisited (Q2273016) (← links)
- Axiomatizing first order consequences in inclusion logic (Q5119909) (← links)
- (Q5691485) (← links)
- Intermediate logics in the setting of team semantics (Q6612815) (← links)