Semi De Morgan logic properly displayed (Q2021557): Difference between revisions

@@ Property / DOI @@
-.1007/s11225-020-09898-y
@@ Property / DOI: 10.1007/s11225-020-09898-y / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3006778584
@@ Property / OpenAlex ID: W3006778584 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning with logical bilattices
@@ Property / cites work: Reasoning with logical bilattices / 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 @@
+Distributive Lattices with a Negation Operator
@@ Property / cites work: Distributive Lattices with a Negation Operator / rank @@
+Normal rank
@@ Property / cites work @@
+Q3558608
@@ Property / cites work: Q3558608 / rank @@
+Normal rank
@@ Property / cites work @@
+Non normal logics: semantic analysis and proof theory
+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 and canonicity for non-distributive logics
+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 @@
+Bounded lattice expansions
@@ Property / cites work: Bounded lattice expansions / rank @@
+Normal rank
@@ Property / cites work @@
+Q2704574
@@ Property / cites work: Q2704574 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded distributive lattice expansions
@@ Property / cites work: Bounded distributive lattice expansions / 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 @@
+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 @@
+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 @@
+Semi-De Morgan algebras
@@ Property / cites work: Semi-De Morgan algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q5688807
@@ Property / cites work: Q5688807 / rank @@
+Normal rank
@@ Property / cites work @@
+Sequent calculi for semi-De Morgan and De Morgan algebras
+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 @@
+Semi-de Morgan algebras
@@ Property / cites work: Semi-de Morgan algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Displaying modal logic
@@ Property / cites work: Displaying modal logic / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S11225-020-09898-Y
@@ Property / DOI: 10.1007/S11225-020-09898-Y / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2021557