Equational closure and closure with respect to enumeration on a set of partial multivalued logic functions (Q2287402): Difference between revisions

@@ Property / cites work @@
+Q2782030
@@ Property / cites work: Q2782030 / rank @@
+Normal rank
@@ Property / cites work @@
+Operator of positive closure
@@ Property / cites work: Operator of positive closure / rank @@
+Normal rank
@@ Property / cites work @@
+Closure operators with positive connectives and quantifiers
+Normal rank
@@ Property / cites work @@
+Equational closure
@@ Property / cites work: Equational closure / rank @@
+Normal rank
@@ Property / cites work @@
+On the enumeration closure operator in multivalued logic
+Normal rank
@@ Property / cites work @@
+Q3997000
@@ Property / cites work: Q3997000 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3115679
@@ Property / cites work: Q3115679 / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness criterion for the enumeration closure operator in three-valued logic
+Normal rank
@@ Property / cites work @@
+Q3268312
@@ Property / cites work: Q3268312 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3115597
@@ Property / cites work: Q3115597 / rank @@
+Normal rank