Syntactic Completeness of Proper Display Calculi (Q5056369): Difference between revisions

@@ Property / arXiv ID @@
+.11641
@@ Property / arXiv ID: 2102.11641 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming with Focusing Proofs in Linear Logic
+Normal rank
@@ Property / cites work @@
+Focussing and proof construction
@@ Property / cites work: Focussing and proof construction / rank @@
+Normal rank
@@ Property / cites work @@
+Q5869717
@@ Property / cites work: Q5869717 / rank @@
+Normal rank
@@ Property / cites work @@
+Display logic
@@ Property / cites work: Display logic / 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 @@
+Non normal logics: semantic analysis and proof theory
+Normal rank
@@ Property / cites work @@
+Algebraic proof theory for substructural logics: cut-elimination and completions
+Normal rank
@@ Property / cites work @@
+Bounded sequent calculi for non-classical logics via hypersequents
+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 @@
+Algorithmic correspondence for intuitionistic modal mu-calculus
+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 @@
+Q4625704
@@ Property / cites work: Q4625704 / 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 @@
+Q4287485
@@ Property / cites work: Q4287485 / 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 Multi-type Calculus for Inquisitive Logic
@@ Property / cites work: A Multi-type Calculus for Inquisitive Logic / rank @@
+Normal rank
@@ Property / cites work @@
+A Sahlqvist theorem for distributive modal logic
@@ Property / cites work: A Sahlqvist theorem for distributive modal logic / 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 @@
+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 @@
+Q5688807
@@ Property / cites work: Q5688807 / rank @@
+Normal rank
@@ Property / cites work @@
+From Frame Properties to Hypersequent Rules in Modal Logics
+Normal rank
@@ Property / cites work @@
+Axioms vs Hypersequent Rules with Context Restrictions: Theory and Applications
+Normal rank
@@ Property / cites work @@
+Q4650578
@@ Property / cites work: Q4650578 / rank @@
+Normal rank
@@ Property / cites work @@
+Sequent calculus proof theory of intuitionistic apartness and order relations
+Normal rank
@@ Property / cites work @@
+Contraction-free sequent calculi for geometric theories with an application to Barr's theorem
+Normal rank
@@ Property / cites work @@
+Proof analysis in modal logic
@@ Property / cites work: Proof analysis in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Cut Elimination in the Presence of Axioms
@@ Property / cites work: Cut Elimination in the Presence of Axioms / rank @@
+Normal rank
@@ Property / cites work @@
+A uniform semantic proof for cut-elimination and completeness of various first and higher order logics.
+Normal rank
@@ Property / cites work @@
+Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics. I
+Normal rank
@@ Property / cites work @@
+Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics. II
+Normal rank
@@ Property / cites work @@
+Minimal predicates, fixed-points, and definability
+Normal rank
@@ Property / cites work @@
+Q4530621
@@ Property / cites work: Q4530621 / rank @@
+Normal rank
@@ Property / cites work @@
+Displaying modal logic
@@ Property / cites work: Displaying modal logic / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q130878629
@@ Property / Wikidata QID: Q130878629 / rank @@
+Normal rank