Pages that link to "Item:Q1288431"
From MaRDI portal
The following pages link to Phase semantics for a pure noncommutative linear propositional logic (Q1288431):
Displaying 6 items.
- On phase semantics and denotational semantics in multiplicative-additive linear logic (Q1971797) (← links)
- Noncommutative linear logic and its quantale semantics (Q2774267) (← links)
- Non‐commutative intuitionistic linear logic (Q3971583) (← links)
- Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic (Q3984416) (← links)
- (Q4360709) (← links)
- Non-commutative logic II: sequent calculus and phase semantics (Q4487273) (← links)