algebra universalis

, Volume 12, Issue 1, pp 376–386 | Cite as

Finitely subdirectly irreducible algebras with pseudocomplementation

  • R. Beazer
Article
Received:
Accepted:

Keywords

Boolean Algebra Lattice Congruence Heyting Algebra Irreducible Algebra Post Algebra 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in to check access.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    R. Bables andPh. Dwinger,Distributibe lattices Univ. Missouri Press, Columbia, Miss. (1974).Google Scholar
  2. [2]
    R. Beazer,The determination congruence on double p-algebras, Algebra Universalis6 (1976), 121–129.MATHMathSciNetGoogle Scholar
  3. [3]
    R. Beazer,Regular double p-algebras with Stone congruence lattices, Algebra Universalis9 (1979), 238–243.MATHMathSciNetGoogle Scholar
  4. [4]
    R. Beazer,Subdirectly irreducible double Heyting algebras. Algebra Universalis10 (1980), 220–224.MATHMathSciNetCrossRefGoogle Scholar
  5. [5]
    R. Beazer,Subdirectly irreducibles for various pseudocomplemented algebras, Algebra Universalis10 (1980), 225–231.MATHMathSciNetCrossRefGoogle Scholar
  6. [6]
    T. S. Blyth andM. F. Janowitz,Resduation Theory, Pergamon Press, (1972).Google Scholar
  7. [7]
    R. Cignoli,Moisil algebras, Notas de Logica Matematica No. 27, Universidad Nacional del Sur Bahia Blanca, Argentina, (1970).MATHGoogle Scholar
  8. [8]
    G. Epstein andA. Horn P-algebras, an abstraction from Post algebras, Algebra Universalis,4, 195–206.Google Scholar
  9. [9]
    G. Grätzer,Lattice Theory: First concepts and distributive lattices. Freeman, San Francisco, Cal., (1971).MATHGoogle Scholar
  10. [10]
    G. Grätzer,General Lattice Theory, Birkhäuser Verlag, Basel, (1978).Google Scholar
  11. [11]
    P. R. Halmos,Algebraic Logic, Chelsea Publ. Co., New York, (1962).MATHGoogle Scholar
  12. [12]
    T. Katriňák,Equational classes of relative Stone algebras, Notre Dame Journ. Formal Logic,13, 248–254.Google Scholar
  13. [13]
    T. Katriňák,The structure of distributive double p-algebras. Regularity and congruences, Algebra Universalis3 (1973), 238–246.MathSciNetMATHGoogle Scholar
  14. [14]
    T. Katriňák,Subdirectly irreducible modular p-algebras, Algebra Universalis2 (1972), 166–173.MathSciNetMATHGoogle Scholar
  15. [15]
    T. Katriňák,Congruence pairs on p-algebras with a modular frame, Algebra Universalis8, (1978), 205–220.MathSciNetMATHGoogle Scholar
  16. [16]
    T. Katriňák,Subdirectly irreducible p-algebras, Algebra Universalis9, (1979), 116–126.MathSciNetMATHGoogle Scholar
  17. [17]
    T. Katriňák,Subdirectly irreducible distributive double p-algebras (preprint).Google Scholar
  18. [18]
    P. Köhler,A subdirectly irreducible double Heyting algebra wich is not simple (preprint).Google Scholar
  19. [19]
    J. Varlet,A regular variety of type<2, 2, 1, 1, 0, 0>, Algebra Universalis2 (1972), 218–223.MATHMathSciNetCrossRefGoogle Scholar

Copyright information

© Birkhäuser Verlag 1981

Authors and Affiliations

  • R. Beazer
    • 1
  1. 1.University of GlasgowGlasgowUK

Personalised recommendations