Linear Logic Properly Displayed
From MaRDI portal
Publication:5886520
DOI10.1145/3570919OpenAlexW2565548059MaRDI QIDQ5886520
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
- 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
- Relational semantics for full linear logic
- Algorithmic correspondence and canonicity for distributive modal logic
- Algorithmic correspondence for intuitionistic modal mu-calculus
- Linear logic
- On the unity of logic
- Linear logic displayed
- The semantics and proof theory of linear logic
- Modal translations in substructural logics
- Light linear logic
- Metamathematics of fuzzy logic
- Semantics of weakening and contraction
- Constructive canonicity for lattice-based fixed point logics
- Lattice logic properly displayed
- Multi-type display calculus for semi De Morgan logic
- Displaying modal logic
- Soft linear logic and polynomial time
- Display logic
- Positive modal logic
- Semi De Morgan logic properly displayed
- Algorithmic correspondence and canonicity for non-distributive logics
- Logics for rough concept analysis
- Bilattice logic properly displayed
- Proper multi-type display calculi for rough algebras
- On the expressivity of elementary linear logic: characterizing Ptime and an exponential time hierarchy
- Algebraic modal correspondence: Sahlqvist and beyond
- Equational classes of relative Stone algebras
- Non-normal modal logics and conditional logics: semantic analysis and proof theory
- Categories: How I Learned to Stop Worrying and Love Two Sorts
- A Multi-type Calculus for Inquisitive Logic
- Structural Extensions of Display Calculi: A General Recipe
- Dynamic Epistemic Logic Displayed
- A proof-theoretic semantic analysis of dynamic epistemic logic
- Multi-type display calculus for dynamic epistemic logic
- Multi-type display calculus for propositional dynamic logic
- Sahlqvist theory for impossible worlds
- Jónsson-style canonicity for ALBA-inequalities
- On Sahlqvist theory for hybrid logics
- A propositional calculus with denumerable matrix
- Modal logics withn-ary connectives
- Light Logics and the Call-by-Value Lambda Calculus
- Logic Programming with Focusing Proofs in Linear Logic
- Substructural logics on display
- Basic logic: reflection, symmetry, visibility
- THE LOGIC OF RESOURCES AND CAPABILITIES
- Unified correspondence as a proof-theoretic tool
- On the completenes principle: A study of provability in heyting's arithmetic and extensions
- Hypersequent Calculi for Godel Logics -- a Survey
- Slanted Canonicity of Analytic Inductive Inequalities
- Syntactic Completeness of Proper Display Calculi
- Unified Correspondence
- Power and Limits of Structural Display Rules
- Heterogeneous algebras
- Algebraic Completeness Results for Dummett's LC and Its Extensions
- Canonical extensions and relational completeness of some substructural logics
- Intuitionistic Light Affine Logic
- Bounded lattice expansions
