Lattice of closure endomorphisms of a Hilbert algebra (Q5193484): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.03902
@@ Property / arXiv ID: 1701.03902 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5532570
@@ Property / cites work: Q5532570 / rank @@
+Normal rank
@@ Property / cites work @@
+A glimpse of deductive systems in algebra
@@ Property / cites work: A glimpse of deductive systems in algebra / rank @@
+Normal rank
@@ Property / cites work @@
+On the free implicative semilattice extension of a Hilbert algebra
+Normal rank
@@ Property / cites work @@
+The lattice of deductive systems on Hilbert algebras
+Normal rank
@@ Property / cites work @@
+Q3695282
@@ Property / cites work: Q3695282 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3772220
@@ Property / cites work: Q3772220 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5701818
@@ Property / cites work: Q5701818 / rank @@
+Normal rank
@@ Property / cites work @@
+Hilbert algebras as implicative partial semilattices
+Normal rank
@@ Property / cites work @@
+Q2847082
@@ Property / cites work: Q2847082 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3916567
@@ Property / cites work: Q3916567 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4178997
@@ Property / cites work: Q4178997 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5519895
@@ Property / cites work: Q5519895 / rank @@
+Normal rank
@@ Property / cites work @@
+Endomorphisms of implication algebras
@@ Property / cites work: Endomorphisms of implication algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Congruences and Closure Endomorphisms of Hilbert Algebras
+Normal rank
@@ Property / cites work @@
+Q4954725
@@ Property / cites work: Q4954725 / rank @@
+Normal rank
@@ Property / cites work @@
+Die Kennzeichnung der distributiven pseudokomplementären Halbverbände.
+Normal rank
@@ Property / cites work @@
+A note on implicative models
@@ Property / cites work: A note on implicative models / rank @@
+Normal rank
@@ Property / cites work @@
+Implicative Semi-Lattices
@@ Property / cites work: Implicative Semi-Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Q3703895
@@ Property / cites work: Q3703895 / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic approach to non-classical logics
@@ Property / cites work: An algebraic approach to non-classical logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5536659
@@ Property / cites work: Q5536659 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4145751
@@ Property / cites work: Q4145751 / rank @@
+Normal rank
@@ Property / cites work @@
+Binomial pairs, semi-Brouwerian and Brouwerian semilattices
+Normal rank
@@ Property / cites work @@
+Q3867846
@@ Property / cites work: Q3867846 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3757944
@@ Property / cites work: Q3757944 / rank @@
+Normal rank
@@ Property / cites work @@
+On the adjoint monoids of implicative BCK-algebras
+Normal rank
@@ Property / OpenAlex ID @@
+W2963247449
@@ Property / OpenAlex ID: W2963247449 / rank @@
+Normal rank