Pages that link to "Item:Q2936238"
From MaRDI portal
The following pages link to Constructing Cut Free Sequent Systems with Context Restrictions Based on Classical or Intuitionistic Logic (Q2936238):
Displaying 7 items.
- Hypersequent rules with restricted contexts for propositional modal logics (Q344801) (← links)
- The bounded proof property via step algebras and step frames (Q741087) (← links)
- Is cut-free logic fit for unrestricted abstraction? (Q2131274) (← links)
- Non-normal modal logics and conditional logics: semantic analysis and proof theory (Q2672662) (← links)
- Restricting Initial Sequents: The Trade-Offs Between Identity, Contraction and Cut (Q3305560) (← links)
- Mīmāṃsā Deontic Logic: Proof Theory and Applications (Q3455779) (← links)
- A cut-free sequent calculus for the logic of constant domains with a limited amount of duplications (Q4934883) (← links)
