Pages that link to "Item:Q5687328"
From MaRDI portal
The following pages link to Generalized quantification as substructural logic (Q5687328):
Displaying 8 items.
- The Craig interpolation theorem in abstract model theory (Q1024119) (← links)
- In conjunction with qualitative probability (Q1295377) (← links)
- On a decidable generalized quantifier logic corresponding to a decidable fragment of first-order logic (Q1909605) (← links)
- Generalized quantifiers in dependence logic (Q2255198) (← links)
- Generalized approximation of substructures in quantales by soft relations (Q2301033) (← links)
- Interpolation for a sequent calculus of generalized quantifiers (Q4645224) (← links)
- Quantales and structural rules (Q4716049) (← links)
- Correspondence and Completeness for Generalized Quantifiers (Q4842271) (← links)