Pages that link to "Item:Q3971583"
From MaRDI portal
The following pages link to Non‐commutative intuitionistic linear logic (Q3971583):
Displaying 7 items.
- Towards a semantic characterization of cut-elimination (Q817704) (← links)
- Phase semantics for a pure noncommutative linear propositional logic (Q1288431) (← links)
- Chu spaces as a semantic bridge between linear logic and mathematics. (Q1398475) (← links)
- A uniform semantic proof for cut-elimination and completeness of various first and higher order logics. (Q1603701) (← links)
- Dynamic non-commutative logic (Q2268354) (← links)
- Contrary-to-duty reasoning: a categorical approach (Q2342801) (← links)
- Gentzen-type calculi for involutive quantales (Q2575479) (← links)
