Notes on \(\eta\)-lattices and constructive logic with strong negation (Q1249170): Difference between revisions

@@ Property / author @@
+Dimiter Vakarelov
@@ Property / author: Dimiter Vakarelov / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3250590
@@ Property / cites work: Q3250590 / rank @@
+Normal rank
@@ Property / cites work @@
+On constructible falsity in the constructive logic with strong negation
+Normal rank
@@ Property / cites work @@
+Q5736159
@@ Property / cites work: Q5736159 / rank @@
+Normal rank
@@ Property / cites work @@
+On closed elements in closure algebras
@@ Property / cites work: On closed elements in closure algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Constructible falsity
@@ Property / cites work: Constructible falsity / rank @@
+Normal rank
@@ Property / cites work @@
+N-lattices and constructive logic with strong negation
+Normal rank
@@ Property / cites work @@
+Q5734410
@@ Property / cites work: Q5734410 / rank @@
+Normal rank