Pages that link to "Item:Q5213573"
From MaRDI portal
The following pages link to On Natural Deduction in Dependence Logic (Q5213573):
Displayed 4 items.
- Negation and partial axiomatizations of dependence and independence logic revisited (Q2273016) (← links)
- Axiomatizing first order consequences in inclusion logic (Q5119909) (← links)
- Dependence and Independence in Social Choice: Arrow’s Theorem (Q5213648) (← links)
- COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES (Q6103455) (← links)