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 6 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)