Algebraic structures in the vicinity of pre-rough algebra and their logics (Q507761): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+A11
@@ Property / Mathematics Subject Classification ID: 06A11 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+G25
@@ Property / Mathematics Subject Classification ID: 03G25 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6681194
@@ Property / zbMATH DE Number: 6681194 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+rough set
@@ Property / zbMATH Keywords: rough set / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+pre-rough algebra
@@ Property / zbMATH Keywords: pre-rough algebra / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+algebraic logic
@@ Property / zbMATH Keywords: algebraic logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Hilbert system
@@ Property / zbMATH Keywords: Hilbert system / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+sequent calculus
@@ Property / zbMATH Keywords: sequent calculus / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Prover9
@@ Property / describes a project that uses: Prover9 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ins.2014.06.004
+Normal rank
@@ Property / OpenAlex ID @@
+W2050672964
@@ Property / OpenAlex ID: W2050672964 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4298774
@@ Property / cites work: Q4298774 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3126166
@@ Property / cites work: Q3126166 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4381708
@@ Property / cites work: Q4381708 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic models of deviant modal operators based on De Morgan and Kleene lattices
+Normal rank
@@ Property / cites work @@
+An abstract algebraic logic approach to tetravalent modal logics
+Normal rank
@@ Property / cites work @@
+Q3026978
@@ Property / cites work: Q3026978 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5518341
@@ Property / cites work: Q5518341 / rank @@
+Normal rank
@@ Property / cites work @@
+Rough sets
@@ Property / cites work: Rough sets / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic approach to non-classical logics
@@ Property / cites work: An algebraic approach to non-classical logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4779595
@@ Property / cites work: Q4779595 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5613067
@@ Property / cites work: Q5613067 / rank @@
+Normal rank
@@ Property / cites work @@
+Rough implication operator based on strong topological rough algebras
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:507761