Pages that link to "Item:Q4444937"
From MaRDI portal
The following pages link to Semantic Labelled Tableaux for Propositional BI (Q4444937):
Displaying 5 items.
- Bunched sequential information (Q266883) (← links)
- Temporal BI: proof system, semantics and translations (Q391122) (← links)
- Focused proof-search in the logic of bunched implications (Q2233409) (← links)
- Hybridizing a Logical Framework (Q2867954) (← links)
- Exploring the relation between Intuitionistic BI and Boolean BI: an unexpected embedding (Q3636908) (← links)
