The following pages link to (Q4636285):
Displaying 10 items.
- Admissible bases via stable canonical rules (Q284230) (← links)
- Hypersequent rules with restricted contexts for propositional modal logics (Q344801) (← links)
- The bounded proof property via step algebras and step frames (Q741087) (← links)
- Stable formulas in intuitionistic logic (Q1782236) (← links)
- Deductive systems with multiple-conclusion rules and the disjunction property (Q2306638) (← links)
- Canonical formulas for \(k\)-potent commutative, integral, residuated lattices (Q2359733) (← links)
- Intermediate logics admitting a structural hypersequent calculus (Q2422309) (← links)
- One-step Heyting Algebras and Hypersequent Calculi with the Bounded Proof Property (Q3133191) (← links)
- Two types of multiple-conclusion systems (Q4221770) (← links)
- STABLE MODAL LOGICS (Q4961739) (← links)