$n$-fold obstinate and $n$-fold fantastic (pre)filters of $EQ$-algebras (Q4958617): Difference between revisions

@@ Property / DOI @@
-.22124/jart.2021.16939.1210
@@ Property / DOI: 10.22124/jart.2021.16939.1210 / rank @@
-Normal rank
@@ Property / cites work @@
+An introduction to mathematical logic and type theory: To truth through proof.
+Normal rank
@@ Property / cites work @@
+Q4685200
@@ Property / cites work: Q4685200 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4922987
@@ Property / cites work: Q4922987 / rank @@
+Normal rank
@@ Property / cites work @@
+Representable good EQ-algebras
@@ Property / cites work: Representable good EQ-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+On good EQ-algebras
@@ Property / cites work: On good EQ-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+<i>n</i> ‐fold filters in BL‐algebras
@@ Property / cites work: <i>n</i> ‐fold filters in BL‐algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Filter theory of BL algebras
@@ Property / cites work: Filter theory of BL algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Implicative and positive implicative prefilters of EQ-algebras
+Normal rank
@@ Property / cites work @@
+On fuzzy type theory
@@ Property / cites work: On fuzzy type theory / rank @@
+Normal rank
@@ Property / cites work @@
+EQ-algebras
@@ Property / cites work: EQ-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+New kinds of prefilters in EQ-algebras
@@ Property / cites work: New kinds of prefilters in EQ-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Finite direct products of EQ-algebras
@@ Property / cites work: Finite direct products of EQ-algebras / rank @@
+Normal rank
@@ Property / DOI @@
+.22124/JART.2021.16939.1210
@@ Property / DOI: 10.22124/JART.2021.16939.1210 / rank @@
+Normal rank