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

@@ label / en / label / en @@
+$n$-fold obstinate and $n$-fold fantastic (pre)filters of $EQ$-algebras
@@ Property / DOI @@
-.22124/jart.2021.16939.1210
@@ Property / DOI: 10.22124/jart.2021.16939.1210 / rank @@
-Normal rank
@@ Property / author @@
+Akbar Paad
@@ Property / author: Akbar Paad / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ETPS
@@ Property / describes a project that uses: ETPS / 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://jart.guilan.ac.ir/article_4807_831eee65e67c44517d7e82c2e5f40330.pdf
+Normal rank
@@ Property / OpenAlex ID @@
+W3184567075
@@ Property / OpenAlex ID: W3184567075 / rank @@
+Normal rank
@@ Property / title @@
+$n$-fold obstinate and $n$-fold fantastic (pre)filters of $EQ$-algebras (English)
+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