Pages that link to "Item:Q1850953"
From MaRDI portal
The following pages link to Correspondence results for relational proof systems with application to the Lambek calculus (Q1850953):
Displaying 11 items.
- Dual tableau for monoidal triangular norm logic MTL (Q622083) (← links)
- Tableaux and dual tableaux: transformation of proofs (Q995673) (← links)
- Relational characterisations of paths (Q2210868) (← links)
- On Automating the Calculus of Relations (Q3541686) (← links)
- Relational dual tableaux for interval temporal logics ★ (Q3647240) (← links)
- Relational proof systems for spatial reasoning ★ (Q3647246) (← links)
- A Labelled Deductive System for Relational Semantics of the Lambek Calculus (Q4238425) (← links)
- (Q4500375) (← links)
- Some 3-Dimensional Systems of Labelled Deduction (Q4842281) (← links)
- Bibliography of Ewa Orłowska (Q6599610) (← links)
- A reasoning system for satisfiability of diagrammatic specifications (Q6599622) (← links)