Pages that link to "Item:Q4357322"
From MaRDI portal
The following pages link to Relational proof system for linear and other substructural logics (Q4357322):
Displaying 9 items.
- Relational semantics for full linear logic (Q280840) (← links)
- The relational model is injective for multiplicative exponential linear logic (without weakenings) (Q435194) (← links)
- Correspondence results for relational proof systems with application to the Lambek calculus (Q1850953) (← links)
- Rasiowa-Sikorski deduction systems in computer science applications. (Q1853457) (← links)
- Gentzen-type calculi for involutive quantales (Q2575479) (← links)
- Theorem provers for substructural logics (Q3510441) (← links)
- Relational semantics and a relational proof system for full Lambek calculus (Q4212926) (← links)
- (Q4500375) (← links)
- A reasoning system for satisfiability of diagrammatic specifications (Q6599622) (← links)