Pages that link to "Item:Q5435116"
From MaRDI portal
The following pages link to A Note on Negation in Categorial Grammar (Q5435116):
Displaying 10 items.
- The Lambek calculus extended with intuitionistic propositional logic (Q332086) (← links)
- Relational semantics of the Lambek calculus extended with classical propositional logic (Q456962) (← links)
- Lambek calculus with conjugates (Q2046872) (← links)
- Extending the Lambek calculus with classical negation (Q2118967) (← links)
- Connexive logics. An overview and current trends (Q3387885) (← links)
- Constructive negation, implication, and co-implication (Q3643320) (← links)
- Judgement aggregation in non-classical logics (Q4586224) (← links)
- SEMANTICS FOR PURE THEORIES OF CONNEXIVE IMPLICATION (Q5099778) (← links)
- Connexive logic, connexivity, and connexivism: remarks on terminology (Q6127183) (← links)
- Connexive implications in substructural logics (Q6638238) (← links)
