Pages that link to "Item:Q4610314"
From MaRDI portal
The following pages link to Generalized tableau systems for intermediate propositional logics (Q4610314):
Displaying 8 items.
- SAT-based proof search in intermediate propositional logics (Q2104497) (← links)
- Labelled tableau systems for some subintuitionistic logics (Q2334660) (← links)
- Simplification Rules for Intuitionistic Propositional Tableaux (Q2946662) (← links)
- The Tableau Method for a Logical System Based on a Finite Poset (Q3647309) (← links)
- Avoiding duplications in tableau systems for intuitionistic logic and Kuroda logic (Q4340932) (← links)
- Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics (Q4700536) (← links)
- BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS (Q5159492) (← links)
- Tableau Systems for Logics of Subinterval Structures over Dense Orderings (Q5434480) (← links)