Pages that link to "Item:Q5687328"

The following pages link to Generalized quantification as substructural logic (Q5687328):

Displaying 4 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)
• Interpolation for a sequent calculus of generalized quantifiers (Q4645224) (← links)