BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS
From MaRDI portal
Publication:5159492
DOI10.1017/jsl.2021.42OpenAlexW3169786782MaRDI QIDQ5159492
Timo Lang, Revantha Ramanayake, Agata Ciabattoni
Publication date: 27 October 2021
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/jsl.2021.42
sequent calculussubstructural logicscut-eliminationmodal logicsnon-classical logicsstructural proof theoryhypersequent calculussubformula property
Structure of proofs (03F07) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Hypersequent rules with restricted contexts for propositional modal logics
- Disjunction property and complexity of substructural logics
- Algebraic proof theory: hypersequents and hypercompletions
- The bounded proof property via step algebras and step frames
- Residuated lattices. An algebraic glimpse at substructural logics
- The simple substitution property of the intermediate propositional logics on finite slices
- Subformula results in some propositional modal logics
- Hypersequents, logical consequence and intermediate logics for concurrency
- Substructural logics with mingle
- The simple substitution property of Gödel's intermediate propositional logics \(S_ n\)'s
- Pseudo two-valued evaluation method for intermediate logics
- Display logic
- Bounded sequent calculi for non-classical logics via hypersequents
- Sequentialising nested systems
- On triangular norms and uninorms definable in Ł\(\Pi \frac{1}{2}\)
- Cut-elimination for quantified conditional logic
- Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
- Proof theory for fuzzy logics
- A note on the substructural hierarchy
- On the Construction of Analytic Sequent Calculi for Sub-classical Logics
- A unified semantic framework for fully structural propositional sequent systems
- Cut Elimination for Shallow Modal Logics
- One-step Heyting Algebras and Hypersequent Calculi with the Bounded Proof Property
- A constructive analysis of RM
- The Taming of the Cut. Classical Refutations with Analytic Cut
- Generalized tableau systems for intermediate propositional logics
- THE UBIQUITY OF CONSERVATIVE TRANSLATIONS
- Extended Kripke lemma and decidability for hypersequent substructural logics
- From Frame Properties to Hypersequent Rules in Modal Logics
- ANALYTIC CUT AND INTERPOLATION FOR BI-INTUITIONISTIC LOGIC
- Substructural fuzzy logics
- Analytic cut
- Conservative translations
