Semi-Heyting Algebras and Identities of Associative Type (Q5241407): Difference between revisions

@@ Property / cites work @@
+Q5532577
@@ Property / cites work: Q5532577 / rank @@
+Normal rank
@@ Property / cites work @@
+Free-decomposability in varieties of semi-Heyting algebras
+Normal rank
@@ Property / cites work @@
+Semi-Heyting algebras term-equivalent to Gödel algebras
+Normal rank
@@ Property / cites work @@
+The variety generated by semi-Heyting chains
@@ Property / cites work: The variety generated by semi-Heyting chains / rank @@
+Normal rank
@@ Property / cites work @@
+Q2888154
@@ Property / cites work: Q2888154 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4083730
@@ Property / cites work: Q4083730 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5789040
@@ Property / cites work: Q5789040 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5532570
@@ Property / cites work: Q5532570 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / rank @@
+Normal rank
@@ Property / cites work @@
+Gentzen-style sequent calculus for semi-intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Semi-intuitionistic logic
@@ Property / cites work: Semi-intuitionistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+The semi Heyting-Brouwer logic
@@ Property / cites work: The semi Heyting-Brouwer logic / rank @@
+Normal rank
@@ Property / cites work @@
+On some semi-intuitionistic logics
@@ Property / cites work: On some semi-intuitionistic logics / rank @@
+Normal rank
@@ Property / cites work @@
+Implication Zroupoids and Identities of Associative Type
+Normal rank
@@ Property / cites work @@
+A categorical equivalence between semi-Heyting algebras and centered semi-Nelson algebras
+Normal rank
@@ Property / cites work @@
+Semi-intuitionistic logic with strong negation
@@ Property / cites work: Semi-intuitionistic logic with strong negation / rank @@
+Normal rank
@@ Property / cites work @@
+Semi-Nelson algebras
@@ Property / cites work: Semi-Nelson algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639727
@@ Property / cites work: Q5639727 / rank @@
+Normal rank
@@ Property / cites work @@
+Equational classes of relative Stone algebras
@@ Property / cites work: Equational classes of relative Stone algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Logic with truth values in A linearly ordered heyting algebra
+Normal rank
@@ Property / cites work @@
+Q5832647
@@ Property / cites work: Q5832647 / rank @@
+Normal rank
@@ Property / cites work @@
+Remarks on the W.C. Nemitz's paper 'Semi-Boolean lattices'
+Normal rank
@@ Property / cites work @@
+Brouwerian Semilattices
@@ Property / cites work: Brouwerian Semilattices / rank @@
+Normal rank
@@ Property / cites work @@
+Q4111788
@@ Property / cites work: Q4111788 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3235799
@@ Property / cites work: Q3235799 / rank @@
+Normal rank
@@ Property / cites work @@
+Implicative Semi-Lattices
@@ Property / cites work: Implicative Semi-Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Semi-Boolean lattices
@@ Property / cites work: Semi-Boolean lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Q5199130
@@ Property / cites work: Q5199130 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5734410
@@ Property / cites work: Q5734410 / 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 @@
+Heyting algebras with dual pseudocomplementation
@@ Property / cites work: Heyting algebras with dual pseudocomplementation / rank @@
+Normal rank
@@ Property / cites work @@
+Pseudocomplemented Okham and Demorgan Algebras
@@ Property / cites work: Pseudocomplemented Okham and Demorgan Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Semi-de Morgan algebras
@@ Property / cites work: Semi-de Morgan algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q3605557
@@ Property / cites work: Q3605557 / rank @@
+Normal rank
@@ Property / cites work @@
+Expansions of semi-Heyting algebras. I: Discriminator varieties
+Normal rank
@@ Property / cites work @@
+On the Foundations of Quasigroups
@@ Property / cites work: On the Foundations of Quasigroups / rank @@
+Normal rank
@@ Property / cites work @@
+Topological representations of distributive lattices and Brouwerian logics
+Normal rank