BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS

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

zbMATH Keywords

sequent calculussubstructural logicscut-eliminationmodal logicsnon-classical logicsstructural proof theoryhypersequent calculussubformula property

Mathematics Subject Classification ID

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

SAT-based proof search in intermediate propositional logics

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