Pages that link to "Item:Q1091385"
From MaRDI portal
The following pages link to Independence in higher-order subclassical logic (Q1091385):
Displaying 7 items.
- Independence of higher Kurepa hypotheses (Q453189) (← links)
- Hintikka's independence-friendly logic meets Nelson's realizability (Q1653658) (← links)
- Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies (Q2453581) (← links)
- (Q2753677) (← links)
- On the Independent Axiomatizability of Modal and Intermediate Logics (Q4835534) (← links)
- Independence-friendly logic without Henkin quantification (Q5918342) (← links)
- Kim-independence in positive logic (Q6156873) (← links)