Pages that link to "Item:Q4304113"
From MaRDI portal
The following pages link to Hierarchies of Partially Ordered Connectives and Quantifiers (Q4304113):
Displaying 6 items.
- Truth and definite truth (Q598266) (← links)
- Partially ordered connectives and monadic monotone strict NP (Q1024818) (← links)
- IF-logic and truth-definition (Q1267079) (← links)
- Generalized quantifiers in dependence logic (Q2255198) (← links)
- Independence-friendly logic without Henkin quantification (Q5918342) (← links)
- Henkin quantifiers and the definability of truth (Q5928923) (← links)
