Pages that link to "Item:Q2273016"

The following pages link to Negation and partial axiomatizations of dependence and independence logic revisited (Q2273016):

Displaying 15 items.

• Axiomatizing first-order consequences in independence logic (Q466449) (← links)
• A remark on negation in dependence logic (Q628802) (← links)
• T-norm-based logics with an independent involutive negation (Q869112) (← links)
• Dependence and independence (Q1956372) (← links)
• Coherence in inquisitive first-order logic (Q2159932) (← links)
• Negation and partial axiomatizations of dependence and independence logic revisited (Q2273016) (← links)
• Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies (Q2453581) (← links)
• Axiomatizations of team logics (Q2636536) (← links)
• (Q2820710) (redirect page) (← links)
• (Q3824398) (← links)
• Axiomatizing first order consequences in inclusion logic (Q5119909) (← links)
• Axiomatizing Propositional Dependence Logics (Q5351964) (← links)
• COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES (Q6103455) (← links)
• Kim-independence in positive logic (Q6156873) (← links)
• Compactness in team semantics (Q6589156) (← links)