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