Pages that link to "Item:Q4304113"
From MaRDI portal
The following pages link to Hierarchies of Partially Ordered Connectives and Quantifiers (Q4304113):
Displaying 11 items.
- Truth and definite truth (Q598266) (← links)
- Partially-ordered (branching) generalized quantifiers: A general definition (Q676181) (← 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)
- KBOs, ordinals, subrecursive hierarchies and all that (Q2987062) (← links)
- PARTIALLY ORDERED CONNECTIVES (Q4295216) (← links)
- (Q4895482) (← links)
- Logical Approaches to Computational Barriers (Q5898847) (← links)
- Independence-friendly logic without Henkin quantification (Q5918342) (← links)
- Henkin quantifiers and the definability of truth (Q5928923) (← links)