Linear Logic Properly Displayed (Q5886520): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2565548059
@@ Property / OpenAlex ID: W2565548059 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming with Focusing Proofs in Linear Logic
+Normal rank
@@ Property / cites work @@
+Intuitionistic Light Affine Logic
@@ Property / cites work: Intuitionistic Light Affine Logic / rank @@
+Normal rank
@@ Property / cites work @@
+The semantics and proof theory of linear logic
@@ Property / cites work: The semantics and proof theory of linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Hypersequent Calculi for Godel Logics -- a Survey
@@ Property / cites work: Hypersequent Calculi for Godel Logics -- a Survey / rank @@
+Normal rank
@@ Property / cites work @@
+On the expressivity of elementary linear logic: characterizing Ptime and an exponential time hierarchy
+Normal rank
@@ Property / cites work @@
+Display logic
@@ Property / cites work: Display logic / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic displayed
@@ Property / cites work: Linear logic displayed / rank @@
+Normal rank
@@ Property / cites work @@
+Q4474834
@@ Property / cites work: Q4474834 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281466
@@ Property / cites work: Q4281466 / rank @@
+Normal rank
@@ Property / cites work @@
+THE LOGIC OF RESOURCES AND CAPABILITIES
@@ Property / cites work: THE LOGIC OF RESOURCES AND CAPABILITIES / rank @@
+Normal rank
@@ Property / cites work @@
+Heterogeneous algebras
@@ Property / cites work: Heterogeneous algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Non-normal modal logics and conditional logics: semantic analysis and proof theory
+Normal rank
@@ Property / cites work @@
+Syntactic Completeness of Proper Display Calculi
@@ Property / cites work: Syntactic Completeness of Proper Display Calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Structural Extensions of Display Calculi: A General Recipe
+Normal rank
@@ Property / cites work @@
+Power and Limits of Structural Display Rules
@@ Property / cites work: Power and Limits of Structural Display Rules / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive canonicity for lattice-based fixed point logics
+Normal rank
@@ Property / cites work @@
+Algorithmic correspondence for intuitionistic modal mu-calculus
+Normal rank
@@ Property / cites work @@
+Categories: How I Learned to Stop Worrying and Love Two Sorts
+Normal rank
@@ Property / cites work @@
+Unified Correspondence
@@ Property / cites work: Unified Correspondence / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic correspondence and canonicity for distributive modal logic
+Normal rank
@@ Property / cites work @@
+Algorithmic correspondence and canonicity for non-distributive logics
+Normal rank
@@ Property / cites work @@
+Q5119388
@@ Property / cites work: Q5119388 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic modal correspondence: Sahlqvist and beyond
+Normal rank
@@ Property / cites work @@
+Q4625704
@@ Property / cites work: Q4625704 / rank @@
+Normal rank
@@ Property / cites work @@
+On Sahlqvist theory for hybrid logics
@@ Property / cites work: On Sahlqvist theory for hybrid logics / rank @@
+Normal rank
@@ Property / cites work @@
+Light Logics and the Call-by-Value Lambda Calculus
+Normal rank
@@ Property / cites work @@
+Relational semantics for full linear logic
@@ Property / cites work: Relational semantics for full linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4530231
@@ Property / cites work: Q4530231 / rank @@
+Normal rank
@@ Property / cites work @@
+Slanted Canonicity of Analytic Inductive Inequalities
+Normal rank
@@ Property / cites work @@
+Modal translations in substructural logics
@@ Property / cites work: Modal translations in substructural logics / rank @@
+Normal rank
@@ Property / cites work @@
+A propositional calculus with denumerable matrix
@@ Property / cites work: A propositional calculus with denumerable matrix / rank @@
+Normal rank
@@ Property / cites work @@
+Positive modal logic
@@ Property / cites work: Positive modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Canonical extensions and relational completeness of some substructural logics
+Normal rank
@@ Property / cites work @@
+Algebraic Completeness Results for Dummett's LC and Its Extensions
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+Multi-type display calculus for propositional dynamic logic
+Normal rank
@@ Property / cites work @@
+Multi-type display calculus for dynamic epistemic logic
+Normal rank
@@ Property / cites work @@
+A proof-theoretic semantic analysis of dynamic epistemic logic
+Normal rank
@@ Property / cites work @@
+A Multi-type Calculus for Inquisitive Logic
@@ Property / cites work: A Multi-type Calculus for Inquisitive Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded lattice expansions
@@ Property / cites work: Bounded lattice expansions / rank @@
+Normal rank
@@ Property / cites work @@
+Q3351360
@@ Property / cites work: Q3351360 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal logics withn-ary connectives
@@ Property / cites work: Modal logics withn-ary connectives / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3773876
@@ Property / cites work: Q3773876 / rank @@
+Normal rank
@@ Property / cites work @@
+On the unity of logic
@@ Property / cites work: On the unity of logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4842966
@@ Property / cites work: Q4842966 / rank @@
+Normal rank
@@ Property / cites work @@
+Light linear logic
@@ Property / cites work: Light linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Substructural logics on display
@@ Property / cites work: Substructural logics on display / rank @@
+Normal rank
@@ Property / cites work @@
+Q2721200
@@ Property / cites work: Q2721200 / rank @@
+Normal rank
@@ Property / cites work @@
+Logics for rough concept analysis
@@ Property / cites work: Logics for rough concept analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic Epistemic Logic Displayed
@@ Property / cites work: Dynamic Epistemic Logic Displayed / rank @@
+Normal rank
@@ Property / cites work @@
+Proper multi-type display calculi for rough algebras
+Normal rank
@@ Property / cites work @@
+Multi-type display calculus for semi De Morgan logic
+Normal rank
@@ Property / cites work @@
+Semi De Morgan logic properly displayed
@@ Property / cites work: Semi De Morgan logic properly displayed / rank @@
+Normal rank
@@ Property / cites work @@
+Bilattice logic properly displayed
@@ Property / cites work: Bilattice logic properly displayed / rank @@
+Normal rank
@@ Property / cites work @@
+Unified correspondence as a proof-theoretic tool
@@ Property / cites work: Unified correspondence as a proof-theoretic tool / rank @@
+Normal rank
@@ Property / cites work @@
+Lattice logic properly displayed
@@ Property / cites work: Lattice logic properly displayed / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Equational classes of relative Stone algebras
@@ Property / cites work: Equational classes of relative Stone algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of weakening and contraction
@@ Property / cites work: Semantics of weakening and contraction / rank @@
+Normal rank
@@ Property / cites work @@
+Q5688807
@@ Property / cites work: Q5688807 / rank @@
+Normal rank
@@ Property / cites work @@
+Soft linear logic and polynomial time
@@ Property / cites work: Soft linear logic and polynomial time / rank @@
+Normal rank
@@ Property / cites work @@
+Q3075441
@@ Property / cites work: Q3075441 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4940727
@@ Property / cites work: Q4940727 / rank @@
+Normal rank
@@ Property / cites work @@
+Jónsson-style canonicity for ALBA-inequalities
@@ Property / cites work: Jónsson-style canonicity for ALBA-inequalities / rank @@
+Normal rank
@@ Property / cites work @@
+Sahlqvist theory for impossible worlds
@@ Property / cites work: Sahlqvist theory for impossible worlds / rank @@
+Normal rank
@@ Property / cites work @@
+Basic logic: reflection, symmetry, visibility
@@ Property / cites work: Basic logic: reflection, symmetry, visibility / rank @@
+Normal rank
@@ Property / cites work @@
+Q5605873
@@ Property / cites work: Q5605873 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4495851
@@ Property / cites work: Q4495851 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342082
@@ Property / cites work: Q4342082 / rank @@
+Normal rank
@@ Property / cites work @@
+On the completenes principle: A study of provability in heyting's arithmetic and extensions
+Normal rank
@@ Property / cites work @@
+Displaying modal logic
@@ Property / cites work: Displaying modal logic / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q130807512
@@ Property / Wikidata QID: Q130807512 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5886520