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)
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)
