Pages that link to "Item:Q3971583"

The following pages link to Non‐commutative intuitionistic linear logic (Q3971583):

Displaying 12 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)
• Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic (Q3984416) (← links)
• The finite model property for various fragments of intuitionistic linear logic (Q4262585) (← links)
• Proof Theory of Partially Normal Skew Monoidal Categories (Q5019679) (← links)
• Monoidal logics: completeness and classical systems (Q5379321) (← links)
• European Summer Meeting of the Association for Symbolic Logic (Q5966661) (← links)