Equational axioms for classes of Heyting algebras
From MaRDI portal
Publication:1237072
DOI10.1007/BF02485823zbMath0355.02039OpenAlexW2031046714MaRDI QIDQ1237072
Publication date: 1976
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf02485823
Logical aspects of Boolean algebras (03G05) Axiomatic model classes (08C10) Varieties (08B99) Proof theory and constructive mathematics (03F99)
Related Items
Bjarni Jónsson's contributions in algebra, The determination of subvarieties of certain congruence-distributive varieties, Finite frames fail: how infinity works its way into the semantics of admissibility, Linear Heyting algebras with a quantifier, Finite equational bases for finite algebras in a congruence-distributive equational class, Primitive Satisfaction and Equational Problems for Lattices and Other Algebras, On the structure of varieties with equationally definable principal congruences. I, Endomorphisms and homomorphisms of Heyting algebras
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On intermediate many-valued logics
- An algebraic approach to non-classical logics
- Splitting algebras and a weak notion of projectivity
- Finite equational bases for finite algebras in a congruence-distributive equational class
- Untersuchungen über das logische Schliessen. I
- Principles of intuitionism. Lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, NY
- Topics in universal algebra
- A decomposition theorem for partially ordered sets
- On closed elements in closure algebras
- A propositional calculus with denumerable matrix
- Primitive Satisfaction and Equational Problems for Lattices and Other Algebras
- Dualities for Equational Classes of Brouwerian Algebras and Heyting Algebras
- Relation of the Exact Transient Solution for a Line Source near an Interface between Two Fluids to Geometrical Acoustics
- Algebras Whose Congruence Lattices are Distributive.
- The decidability of certain intermediate propositional logics
- Logic with truth values in A linearly ordered heyting algebra
- Some structure results for propositional calculi
- Injective and Projective Heyting Algebras
- Equational axioms for classes of lattices
- Algebraic Completeness Results for Dummett's LC and Its Extensions
- On intermediate propositional logics
- The separation theorem of intuitionist propositional calculus
- Some theorems about the sentential calculi of Lewis and Heyting
- Propositional Calculus and Realizability
- Subdirect unions in universal algebra
