Pages that link to "Item:Q3971583"

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

Displaying 26 items.

• Towards a semantic characterization of cut-elimination (Q817704) (← links)
• Non-commutative Łukasiewicz propositional logic (Q818518) (← links)
• Nonmodal classical linear predicate logic is a fragment of intuitionistic linear logic (Q1193657) (← 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)
• Non-commutative logic for compositional distributional semantics (Q1685917) (← links)
• Relations and non-commutative linear logic (Q1910723) (← links)
• Dynamic non-commutative logic (Q2268354) (← links)
• Contrary-to-duty reasoning: a categorical approach (Q2342801) (← links)
• Gentzen-type calculi for involutive quantales (Q2575479) (← links)
• Noncommutative linear logic and its quantale semantics (Q2774267) (← links)
• Quantales and (noncommutative) linear logic (Q3478401) (← 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)
• (Q4263858) (← links)
• (Q4608683) (← links)
• Non-commutative classical arithmetical sequent calculi are intuitionistic (Q4644548) (← links)
• On noncommutative extensions of linear logic (Q4972728) (← links)
• Proof Theory of Partially Normal Skew Monoidal Categories (Q5019679) (← links)
• Monoidal logics: completeness and classical systems (Q5379321) (← links)
• (Q5389290) (← links)
• Non-commutative propositional logic with short-circuit evaluation (Q5862001) (← links)
• European Summer Meeting of the Association for Symbolic Logic (Q5966661) (← links)
• Normalization by evaluation for the lambek calculus (Q6659901) (← links)
• Proof theory of skew non-commutative \texttt{MILL} (Q6659903) (← links)