Linear Logic Properly Displayed
From MaRDI portal
Publication:5886520
DOI10.1145/3570919OpenAlexW2565548059WikidataQ130807512 ScholiaQ130807512MaRDI QIDQ5886520FDOQ5886520
Authors: Giuseppe Greco, Alessandra Palmigiano 
Publication date: 5 April 2023
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1611.04181
lattice expansionsunified correspondenceproper display calculiproperly displayable logicsanalytic inductive inequalities
Cites Work
- Modal logic
- The semantics and proof theory of linear logic
- Title not available (Why is that?)
- Metamathematics of fuzzy logic
- Display logic
- Categorical semantics of linear logic
- A propositional calculus with denumerable matrix
- Title not available (Why is that?)
- Substructural logics on display
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Linear logic
- Linear logic displayed
- Light linear logic
- Soft linear logic and polynomial time
- Positive modal logic
- Intuitionistic light affine logic
- Relational semantics for full linear logic
- Heterogeneous algebras
- Canonical extensions and relational completeness of some substructural logics
- Bounded lattice expansions
- Title not available (Why is that?)
- Structural extensions of display calculi: a general recipe
- Logic Programming with Focusing Proofs in Linear Logic
- Title not available (Why is that?)
- Hypersequent Calculi for Godel Logics -- a Survey
- Title not available (Why is that?)
- Title not available (Why is that?)
- On the unity of logic
- Displaying modal logic
- Algorithmic correspondence and canonicity for distributive modal logic
- Algebraic modal correspondence: Sahlqvist and beyond
- Basic logic: reflection, symmetry, visibility
- Title not available (Why is that?)
- Algorithmic correspondence for intuitionistic modal mu-calculus
- Unified correspondence
- Equational classes of relative Stone algebras
- Title not available (Why is that?)
- Algebraic Completeness Results for Dummett's LC and Its Extensions
- Semantics of weakening and contraction
- On the completenes principle: A study of provability in heyting's arithmetic and extensions
- Title not available (Why is that?)
- A proof-theoretic semantic analysis of dynamic epistemic logic
- Power and limits of structural display rules
- Non-normal modal logics and conditional logics: semantic analysis and proof theory
- Modal logics withn-ary connectives
- A Multi-type Calculus for Inquisitive Logic
- Modal translations in substructural logics
- Sahlqvist theory for impossible worlds
- Constructive canonicity for lattice-based fixed point logics
- Unified correspondence as a proof-theoretic tool
- Light Logics and the Call-by-Value Lambda Calculus
- Syntactic Completeness of Proper Display Calculi
- Lattice logic properly displayed
- Multi-type display calculus for semi De Morgan logic
- Algorithmic correspondence and canonicity for non-distributive logics
- Categories: how I learned to stop worrying and love two sorts
- Multi-type display calculus for dynamic epistemic logic
- On the expressivity of elementary linear logic: characterizing Ptime and an exponential time hierarchy
- Semi De Morgan logic properly displayed
- Logics for rough concept analysis
- Bilattice logic properly displayed
- Proper multi-type display calculi for rough algebras
- Dynamic epistemic logic displayed
- Multi-type display calculus for propositional dynamic logic
- Jónsson-style canonicity for ALBA-inequalities
- THE LOGIC OF RESOURCES AND CAPABILITIES
- Title not available (Why is that?)
- On Sahlqvist theory for hybrid logics
- Sahlqvist via translation
- Title not available (Why is that?)
- Slanted canonicity of analytic inductive inequalities
Cited In (2)
This page was built for publication: Linear Logic Properly Displayed
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5886520)
