On the free implicative semilattice extension of a Hilbert algebra (Q2888632): Difference between revisions

@@ Property / author @@
+Sergio Arturo Celani
@@ Property / author: Sergio Arturo Celani / 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://doi.org/10.1002/malq.201020098
+Normal rank
@@ Property / OpenAlex ID @@
+W2015741795
@@ Property / OpenAlex ID: W2015741795 / rank @@
+Normal rank
@@ Property / cites work @@
+Priestley style duality for distributive meet-semilattices
+Normal rank
@@ Property / cites work @@
+Esakia style duality for implicative semilattices
@@ Property / cites work: Esakia style duality for implicative semilattices / rank @@
+Normal rank
@@ Property / cites work @@
+Some properties of epimorphisms of Hilbert algebras
+Normal rank
@@ Property / cites work @@
+A note on homomorphisms of Hilbert algebras
@@ Property / cites work: A note on homomorphisms of Hilbert algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Representation of Hilbert algebras and implicative semilattices
+Normal rank
@@ Property / cites work @@
+Q5472323
@@ Property / cites work: Q5472323 / rank @@
+Normal rank
@@ Property / cites work @@
+Ideals in Partially Ordered Sets
@@ Property / cites work: Ideals in Partially Ordered Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q5270289
@@ Property / cites work: Q5270289 / rank @@
+Normal rank
@@ Property / cites work @@
+Brouwerian Semilattices
@@ Property / cites work: Brouwerian Semilattices / 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