Proper multi-type display calculi for rough algebras (Q2333670): Difference between revisions

@@ Property / arXiv ID @@
+.07278
@@ Property / arXiv ID: 1808.07278 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3126166
@@ Property / cites work: Q3126166 / 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 @@
+Perfect extensions of regular double Stone algebras
+Normal rank
@@ Property / cites work @@
+Algorithmic correspondence and canonicity for distributive modal logic
+Normal rank
@@ Property / cites work @@
+Q4530231
@@ Property / cites work: Q4530231 / 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 @@
+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 @@
+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 @@
+Q3780511
@@ Property / cites work: Q3780511 / rank @@
+Normal rank
@@ Property / cites work @@
+Sequent Calculi for Varieties of Topological Quasi-Boolean Algebras
+Normal rank
@@ Property / cites work @@
+Sahlqvist theory for impossible worlds
@@ Property / cites work: Sahlqvist theory for impossible worlds / rank @@
+Normal rank
@@ Property / cites work @@
+Rough sets
@@ Property / cites work: Rough sets / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic structures in the vicinity of pre-rough algebra and their logics
+Normal rank
@@ Property / cites work @@
+Algebraic structures in the vicinity of pre-rough algebra and their logics. II
+Normal rank