Bounded distributive lattices with strict implication (Q4680368): Difference between revisions

@@ Property / author @@
-Sergio Arturo Celani
@@ Property / author: Sergio Arturo Celani / rank @@
-Normal rank
@@ Property / author @@
+Sergio Arturo Celani
@@ Property / author: Sergio Arturo Celani / 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.1002/malq.200410022
+Normal rank
@@ Property / OpenAlex ID @@
+W2060027303
@@ Property / OpenAlex ID: W2060027303 / rank @@
+Normal rank
@@ Property / cites work @@
+Protoalgebraic logics
@@ Property / cites work: Protoalgebraic logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249028
@@ Property / cites work: Q4249028 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692885
@@ Property / cites work: Q4692885 / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and techniques in modal logic
@@ Property / cites work: Tools and techniques in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
+Normal rank
@@ Property / cites work @@
+Q4385350
@@ Property / cites work: Q4385350 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4680368