Pages that link to "Item:Q2273016"
From MaRDI portal
The following pages link to Negation and partial axiomatizations of dependence and independence logic revisited (Q2273016):
Displayed 5 items.
- Coherence in inquisitive first-order logic (Q2159932) (← links)
- Axiomatizations of team logics (Q2636536) (← links)
- (Q2820710) (redirect page) (← links)
- Axiomatizing first order consequences in inclusion logic (Q5119909) (← links)
- COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES (Q6103455) (← links)