Equational axioms for classes of Heyting algebras (Q1237072): Difference between revisions

@@ Property / cites work @@
+Equational axioms for classes of lattices
@@ Property / cites work: Equational axioms for classes of lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Primitive Satisfaction and Equational Problems for Lattices and Other Algebras
+Normal rank
@@ Property / cites work @@
+Finite equational bases for finite algebras in a congruence-distributive equational class
+Normal rank
@@ Property / cites work @@
+Injective and Projective Heyting Algebras
@@ Property / cites work: Injective and Projective Heyting Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Subdirect unions in universal algebra
@@ Property / cites work: Subdirect unions in universal algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q3956998
@@ Property / cites work: Q3956998 / rank @@
+Normal rank
@@ Property / cites work @@
+Dualities for Equational Classes of Brouwerian Algebras and Heyting Algebras
+Normal rank
@@ Property / cites work @@
+Splitting algebras and a weak notion of projectivity
+Normal rank
@@ Property / cites work @@
+A decomposition theorem for partially ordered sets
+Normal rank
@@ Property / cites work @@
+A propositional calculus with denumerable matrix
@@ Property / cites work: A propositional calculus with denumerable matrix / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic Completeness Results for Dummett's LC and Its Extensions
+Normal rank
@@ Property / cites work @@
+Untersuchungen über das logische Schliessen. I
@@ Property / cites work: Untersuchungen über das logische Schliessen. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639727
@@ Property / cites work: Q5639727 / rank @@
+Normal rank
@@ Property / cites work @@
+Some structure results for propositional calculi
@@ Property / cites work: Some structure results for propositional calculi / 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 @@
+Q5582306
@@ Property / cites work: Q5582306 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5595146
@@ Property / cites work: Q5595146 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebras Whose Congruence Lattices are Distributive.
+Normal rank
@@ Property / cites work @@
+Topics in universal algebra
@@ Property / cites work: Topics in universal algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5532530
@@ Property / cites work: Q5532530 / rank @@
+Normal rank
@@ Property / cites work @@
+The decidability of certain intermediate propositional logics
+Normal rank
@@ Property / cites work @@
+On closed elements in closure algebras
@@ Property / cites work: On closed elements in closure algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Some theorems about the sentential calculi of Lewis and Heyting
+Normal rank
@@ Property / cites work @@
+Relation of the Exact Transient Solution for a Line Source near an Interface between Two Fluids to Geometrical Acoustics
+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 @@
+Q5734410
@@ Property / cites work: Q5734410 / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional Calculus and Realizability
@@ Property / cites work: Propositional Calculus and Realizability / rank @@
+Normal rank
@@ Property / cites work @@
+Q5518356
@@ Property / cites work: Q5518356 / rank @@
+Normal rank
@@ Property / cites work @@
+Principles of intuitionism. Lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, NY
+Normal rank
@@ Property / cites work @@
+On intermediate propositional logics
@@ Property / cites work: On intermediate propositional logics / rank @@
+Normal rank
@@ Property / cites work @@
+On intermediate many-valued logics
@@ Property / cites work: On intermediate many-valued logics / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf02485823
+Normal rank
@@ Property / OpenAlex ID @@
+W2031046714
@@ Property / OpenAlex ID: W2031046714 / rank @@
+Normal rank