Prelinear Hilbert algebras (Q2035275): Difference between revisions

@@ Property / cites work @@
+Gödel algebras free over finite distributive lattices
+Normal rank
@@ Property / cites work @@
+Q4083730
@@ Property / cites work: Q4083730 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3708845
@@ Property / cites work: Q3708845 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3588666
@@ Property / cites work: Q3588666 / rank @@
+Normal rank
@@ Property / cites work @@
+Representation and duality for Hilbert algebras
@@ Property / cites work: Representation and duality for Hilbert algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Variations of the free implicative semilattice extension of a Hilbert algebra
+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 @@
+On the free implicative semilattice extension of a Hilbert algebra
+Normal rank
@@ Property / cites work @@
+Hilbert algebras with supremum
@@ Property / cites work: Hilbert algebras with supremum / rank @@
+Normal rank
@@ Property / cites work @@
+Q3024391
@@ Property / cites work: Q3024391 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing coproducts of finitely presented Gödel algebras
+Normal rank
@@ Property / cites work @@
+Q4049062
@@ Property / cites work: Q4049062 / rank @@
+Normal rank
@@ Property / cites work @@
+On Priestley spaces of lattice-ordered algebraic structures
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+The separation theorem of intuitionist propositional calculus
+Normal rank
@@ Property / cites work @@
+Logic with truth values in A linearly ordered heyting algebra
+Normal rank
@@ Property / cites work @@
+Remarks on the W.C. Nemitz's paper 'Semi-Boolean lattices'
+Normal rank
@@ Property / cites work @@
+Q3705494
@@ Property / cites work: Q3705494 / rank @@
+Normal rank
@@ Property / cites work @@
+Implicative Semi-Lattices
@@ Property / cites work: Implicative Semi-Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Representation of Distributive Lattices by means of ordered Stone Spaces
+Normal rank
@@ Property / cites work @@
+Ordered Topological Spaces and the Representation of Distributive Lattices
+Normal rank
@@ Property / cites work @@
+Q4963159
@@ Property / cites work: Q4963159 / 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