Pages that link to "Item:Q2334660"
From MaRDI portal
The following pages link to Labelled tableau systems for some subintuitionistic logics (Q2334660):
Displaying 5 items.
- Hintikka memorial issue: introduction and remarks on Jaakko Hintikka's logical philosophy (Q2334648) (← links)
- Semantic Labelled Tableaux for Propositional BI (Q4444937) (← links)
- (Q5169618) (← links)
- Labelled tableaux for interpretability logics (Q5224691) (← links)
- Tableau Systems for Logics of Subinterval Structures over Dense Orderings (Q5434480) (← links)