Display logic
From MaRDI portal
Cited in
(93)- Types as graphs: Continuations in type logical grammar
- On purported Gentzen formulations of two positive relevant logics
- A perspective on modal sequent logic
- Displaying and deciding substructural logics. I: Logics with contraposition
- Indexed systems of sequents and cut-elimination
- Proof search and co-NP completeness for many-valued logics
- Restall's proof-theoretic pluralism and relevance logic
- Multimodal linguistic inference
- Some general results about proof normalization
- Bunched logics displayed
- Cut-elimination for weak Grzegorczyk logic Go
- A generalized proof-theoretic approach to logical argumentation based on hypersequents
- A cut-elimination proof in positive relevant logic with necessity
- A proof-theoretic approach to negative translations in intuitionistic tense logics
- Non-associative, non-commutative multi-modal linear logic
- A formally verified cut-elimination procedure for linear nested sequents for tense logic
- Knowledge, belief, normality, and introspection
- Normal proofs, cut free derivations and structural rules
- Hypersequent and display calculi -- a unified perspective
- A survey of nonstandard sequent calculi
- Bilattice logic properly displayed
- Disentangling structural connectives or life without display property
- Sufficient conditions for cut elimination with complexity analysis
- Judgmental subtyping systems with intersection types and modal types
- Logicality, double-line rules, and modalities
- Current trends in substructural logics
- Paraconsistent logic
- Non-normal modal logics and conditional logics: semantic analysis and proof theory
- Positive logic with adjoint modalities: proof theory, semantics and reasoning about information
- Focused and Synthetic Nested Sequents
- Machine-checked interpolation theorems for substructural logics using display calculi
- A Multi-type Calculus for Inquisitive Logic
- Strong and weak quantifiers in focused \({\text{NL}}_{\text{CL}}\)
- Hypersequent calculi for S5: the methods of cut elimination
- Craig interpolation in displayable logics
- A unified display proof theory for bunched logic
- Machine-checked proof-theory for propositional modal logics
- On a multilattice analogue of a hypersequent S5 calculus
- Hypersequent rules with restricted contexts for propositional modal logics
- Inducing syntactic cut-elimination for indexed nested sequents
- THE LOGIC OF RESOURCES AND CAPABILITIES
- A comparison between monoidal and substructural logics
- On displaying negative modalities
- R-Mingle is Nice, and so is Arnon Avron
- Syntactic Completeness of Proper Display Calculi
- scientific article; zbMATH DE number 7561320 (Why is no real title available?)
- scientific article; zbMATH DE number 7204444 (Why is no real title available?)
- Understanding negation implicationally in the relevant logic R
- A complete axiomatisation for quantifier-free separation logic
- BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS
- Prawitz, Proofs, and Meaning
- Power and limits of structural display rules
- LINEAR TIME IN HYPERSEQUENT FRAMEWORK
- Monoidal logics: completeness and classical systems
- Lattice logic as a fragment of (2-sorted) residuated modal logic
- Linear Logic Properly Displayed
- Solution to a problem of Ono and Komori
- Solution to a problem of Ono and Komori
- Rooted hypersequent calculus for modal logic \textsf{S5}
- The nature of entailment: an informational approach
- THE LOGIC OF HYPERLOGIC. PART A: FOUNDATIONS
- Explorations in Subexponential Non-associative Non-commutative Linear Logic
- An algebraic glimpse at bunched implications and separation logic
- Implications-as-rules vs. implications-as-links: an alternative implication-left schema for the sequent calculus
- Algebraic proof theory for LE-logics
- An expressivist strategy to understand logical forms
- Some analytic systems of rules
- Universal proof theory: semi-analytic rules and Craig interpolation
- Multiset-multiset frames
- Deep fried logic
- Improved decision procedures for multi-modal tense logic using CEGAR-tableaux
- Analytic proofs for tense logic
- Inductive sequents for distributive modal logic
- Internal and external calculi: ordering the jungle without being lost in translations
- Gentzen-type sequent calculus for modal logic S5
- Fusion, fission, and Ackermann's truth constant in relevant logics: a proof-theoretic investigation
- Substructural negations as normal modal operators
- Nested sequents or tree-hypersequents -- a survey
- Proof theory and decision procedures for deontic STIT logics
- Sequents vs hypersequents for Åqvist systems
- A hypersequent solution to the inferentialist problem of modality
- Absolute generality and revision theory
- Taking bi-intuitionistic logic first-order: a proof-theoretic investigation via polytree sequents
- Algebraic proof theory: hypersequents and hypercompletions
- Invertibility in Sequent Calculi
- A formal characterization of semantic pollution of modal proof systems
- Proof theory of Nelson's paraconsistent logic: a uniform perspective
- Simple consequence relations
- Cut elimination inside a deep inference system for classical predicate logic
- Towards a semantic characterization of cut-elimination
- Deep sequent systems for modal logic
- Combining linear-time temporal logic with constructiveness and paraconsistency
- Display calculi and other modal calculi: a comparison
This page was built for publication: Display logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1838471)
