Linear Logic Properly Displayed

DOI10.1145/3570919MaRDI QIDQ5886520zbMATH OpenOpenAlexWikidataFDO

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

zbMATH Keywords

analytic inductive inequalitieslattice expansionsproper display calculiproperly displayable logicsunified correspondence

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Cites work

• A Multi-type Calculus for Inquisitive Logic
• A proof-theoretic semantic analysis of dynamic epistemic logic
• A propositional calculus with denumerable matrix
• Algebraic Completeness Results for Dummett's LC and Its Extensions
• Algebraic modal correspondence: Sahlqvist and beyond
• Algorithmic correspondence and canonicity for distributive modal logic
• Algorithmic correspondence and canonicity for non-distributive logics
• Algorithmic correspondence for intuitionistic modal mu-calculus
• Basic logic: reflection, symmetry, visibility
• Bilattice logic properly displayed
• Bounded lattice expansions
• Canonical extensions and relational completeness of some substructural logics
• Categorical semantics of linear logic
• Categories: how I learned to stop worrying and love two sorts
• Constructive canonicity for lattice-based fixed point logics
• Constructive canonicity of inductive inequalities
• Display logic
• Displaying modal logic
• Dynamic epistemic logic displayed
• Equational classes of relative Stone algebras
• Heterogeneous algebras
• scientific article; zbMATH DE number 1612555 (Why is no real title available?)
• scientific article; zbMATH DE number 4202257 (Why is no real title available?)
• scientific article; zbMATH DE number 4033738 (Why is no real title available?)
• scientific article; zbMATH DE number 512773 (Why is no real title available?)
• scientific article; zbMATH DE number 1028819 (Why is no real title available?)
• scientific article; zbMATH DE number 1142326 (Why is no real title available?)
• scientific article; zbMATH DE number 2079022 (Why is no real title available?)
• scientific article; zbMATH DE number 1489627 (Why is no real title available?)
• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• scientific article; zbMATH DE number 786485 (Why is no real title available?)
• scientific article; zbMATH DE number 1406811 (Why is no real title available?)
• scientific article; zbMATH DE number 3327279 (Why is no real title available?)
• scientific article; zbMATH DE number 970628 (Why is no real title available?)
• Hypersequent Calculi for Godel Logics -- a Survey
• Intuitionistic light affine logic
• Jónsson-style canonicity for ALBA-inequalities
• Lattice logic properly displayed
• Light linear logic
• Light Logics and the Call-by-Value Lambda Calculus
• Linear logic
• Linear logic displayed
• Logic Programming with Focusing Proofs in Linear Logic
• Logics for rough concept analysis
• Metamathematics of fuzzy logic
• Modal logic
• Modal logics withn-ary connectives
• Modal translations in substructural logics
• Multi-type display calculus for dynamic epistemic logic
• Multi-type display calculus for propositional dynamic logic
• Multi-type display calculus for semi De Morgan logic
• Non-normal modal logics and conditional logics: semantic analysis and proof theory
• On Sahlqvist theory for hybrid logics
• On the completenes principle: A study of provability in heyting's arithmetic and extensions
• On the expressivity of elementary linear logic: characterizing Ptime and an exponential time hierarchy
• On the unity of logic
• Positive modal logic
• Power and limits of structural display rules
• Proper multi-type display calculi for rough algebras
• Relational semantics for full linear logic
• Sahlqvist theory for impossible worlds
• Sahlqvist via translation
• Semantics of weakening and contraction
• Semi De Morgan logic properly displayed
• Slanted canonicity of analytic inductive inequalities
• Soft linear logic and polynomial time
• Structural extensions of display calculi: a general recipe
• Substructural logics on display
• Syntactic Completeness of Proper Display Calculi
• THE LOGIC OF RESOURCES AND CAPABILITIES
• The semantics and proof theory of linear logic
• Unified correspondence
• Unified correspondence as a proof-theoretic tool

Cited in

(3)

• Bilattice logic properly displayed
• Interpolation in linear logic and related systems
• Correspondence theory on vector spaces

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)