Hypersequent and display calculi -- a unified perspective
From MaRDI portal
Publication:2259013
DOI10.1007/s11225-014-9566-zzbMath1344.03043MaRDI QIDQ2259013
Revantha Ramanayake, Agata Ciabattoni, Heinrich Wansing
Publication date: 27 February 2015
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-014-9566-z
03B45: Modal logic (including the logic of norms)
03F05: Cut-elimination and normal-form theorems
03B50: Many-valued logic
03F03: Proof theory in general (including proof-theoretic semantics)
03B20: Subsystems of classical logic (including intuitionistic logic)
Related Items
Prawitz, Proofs, and Meaning, Power and Limits of Structural Display Rules, LINEAR TIME IN HYPERSEQUENT FRAMEWORK, Natural deduction calculi for classical and intuitionistic S5, Cut Elimination for Extended Sequent Calculi, Knowledge, belief, normality, and introspection, A survey of nonstandard sequent calculi, Disentangling structural connectives or life without display property, A non-distributive logic for semiconcepts and its modal extension with semantics based on Kripke contexts, Hypersequent Calculi for S5: The Methods of Cut Elimination
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Proof theory for locally finite many-valued logics: semi-projective logics
- Algorithmic correspondence and canonicity for distributive modal logic
- A cut-free sequent system for two-dimensional modal logic, and why it matters
- Dag Prawitz on proofs and meaning
- Algebraic proof theory: hypersequents and hypercompletions
- Proof analysis in modal logic
- Residuated lattices. An algebraic glimpse at substructural logics
- Density elimination
- Gentzen calculi for modal propositional logic
- Proof theory for admissible rules
- Proof methods for modal and intuitionistic logics
- Proof theory. 2nd ed
- Quantifiers as modal operators
- Cut-elimination theorem for relevant logics
- Displaying and deciding substructural logics. I: Logics with contraposition
- On logics with coimplication
- Predicate logics on display
- Metamathematics of fuzzy logic
- Cut-free sequent calculi for some tense logics
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- Hypersequents, logical consequence and intermediate logics for concurrency
- Substructural logics: a primer
- Labeled calculi and finite-valued logics
- Analytic calculi for product logics
- A proof-theoretical investigation of global intuitionistic (fuzzy) logic
- Displaying modal logic
- Display logic
- Untersuchungen über das logische Schliessen. I
- A formalization of the propositional calculus of H-B logic
- Rasiowa-Sikorski deduction systems in computer science applications.
- Bunched logics displayed
- Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions
- Finite-valued semantics for canonical labelled calculi
- Proof theory for fuzzy logics
- Structural Extensions of Display Calculi: A General Recipe
- Hypersequent and Labelled Calculi for Intermediate Logics
- Correspondence between Modal Hilbert Axioms and Sequent Rules with an Application to S5
- Dynamic Epistemic Logic Displayed
- Standard Completeness for Extensions of MTL: An Automated Approach
- On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics
- Towards a Proof Theory of G\"odel Modal Logics
- Craig Interpolation in Displayable Logics
- A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains
- Non-deterministic Multiple-valued Structures
- Modal Foundations for Predicate Logic
- What is Logic?
- A CUT-FREE SIMPLE SEQUENT CALCULUS FOR MODAL LOGIC S5
- Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics
- Constructive negation, implication, and co-implication
- Expanding the Realm of Systematic Proof Theory
- Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
- A constructive analysis of RM
- Logic Programming with Focusing Proofs in Linear Logic
- A Cut‐Free Calculus For Dummett's LC Quantified
- Gaggles, Gentzen and Galois: how to display your favourite substructural logic
- Translation of hypersequents into display sequents
- Sequent Calculi for Normal Modal Propositional Logics
- Modal tableaux based on residuation
- Substructural logics on display
- Display Calculi for Nominal Tense Logics
- Hypersequent Calculi for Godel Logics -- a Survey
- Automated Reasoning with Analytic Tableaux and Related Methods
- Embedding the hypersequent calculus in the display calculus
- From Frame Properties to Hypersequent Rules in Modal Logics
- Sequent and hypersequent calculi for abelian and łukasiewicz logics
- A system of interaction and structure
- A System of Interaction and Structure II: The Need for Deep Inference
- Computer Science Logic
- Substructural fuzzy logics
- Classical Modal Display Logic in the Calculus of Structures and Minimal Cut-free Deep Inference Calculi for S5
- Sequents in many valued logic I
- Logic for Programming, Artificial Intelligence, and Reasoning