The following pages link to (Q4694232):
Displaying 4 items.
- Language in action (Q1177646) (← 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)
- A uniform semantic proof for cut-elimination and completeness of various first and higher order logics. (Q1603701) (← links)
