The following pages link to (Q4704742):
Displaying 7 items.
- Temporal BI: proof system, semantics and translations (Q391122) (← links)
- Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL (Q2433102) (← links)
- A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics (Q2813672) (← links)
- Craig interpolation for semilinear substructural logics (Q3144874) (← links)
- Interpolation theorems for some variants of LTL (Q4596923) (← links)
- (Q5556404) (← links)
- A syntactic approach to Maksimova's principle of variable separation for some substructural logics (Q5937808) (← links)