The following pages link to Explicating logical independence (Q2301324):
Displaying 9 items.
- Independence in higher-order subclassical logic (Q1091385) (← links)
- Independent choices and the interpretation of IF logic (Q1610629) (← links)
- General models and entailment semantics for independence logic (Q1949170) (← links)
- A simple logic of functional dependence (Q2240545) (← links)
- Things may not be simple: on Wittgenstein's internal relations (Q2688871) (← links)
- A Logical Approach to Context-Specific Independence (Q2820693) (← links)
- Notes on my scientific life (Q6612807) (← links)
- Deciding dependence in logic and algebra (Q6612812) (← links)
- The forms of categorical proposition (Q6659911) (← links)
