Hostname: page-component-78c5997874-s2hrs Total loading time: 0 Render date: 2024-11-10T17:27:27.809Z Has data issue: false hasContentIssue false
  • English
  • Français

Free algebras in the variety of three-valued closure algebras

Part of: Varieties Algebraic logic

Published online by Cambridge University Press:  09 April 2009

M. Abad  and
J. P. Díaz Varela
M. Abad
Affiliation:
Departmento de Matemática, Universidad Nacional del Sur, 8000 Bahía Blanca, Argentina e-mail: imabad@criba.edu.ar, usdiavar@criba.edu.ar
J. P. Díaz Varela
Affiliation:
Departmento de Matemática, Universidad Nacional del Sur, 8000 Bahía Blanca, Argentina e-mail: imabad@criba.edu.ar, usdiavar@criba.edu.ar
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

In this paper, the variety of three-valued closure algebras, that is, closure algebras with the property that the open elements from a three-valued Heyting algebra, is investigated. Particularly, the structure of the finitely generated free objects in this variety is determined.

Keywords

closure algebraHeyting algebra

MSC classification

Secondary: 06E25: Boolean algebras with additional operations (diagonalizable algebras, etc.) 03G25: Other algebras related to logic 08B15: Lattices of varieties 08B20: Free algebras
Type
Research Article
Information
Journal of the Australian Mathematical Society , Volume 72 , Issue 2 , April 2002 , pp. 181 - 198
Copyright
Copyright © Australian Mathematical Society 2002

References

[1]Balbes, R. and Dwinger, P., Distributive lattices (University of Missouri Press, Columbia, 1974).Google Scholar
[2]Berman, J., ‘Free spectra of 3-element algebras,’ in: Universal Algebra and Lattice Theory, Proceedings, Puebla, 1982 (eds. Freese, R. S. and García, O. C.), Lecture Notes in Math. 1004 (Springer, New York, 1983) pp. 10–16.Google Scholar
[3]Berman, J. and Blok, W. J., ‘The Fraser-Horn and Apple Properties’, Trans. Amer. Math. Soc. 302 (1987), 427–465.CrossRefGoogle Scholar
[4]Blok, W. J., Varieties of interior algebras (Ph.D. Thesis, University of Amsterdam, 1976).Google Scholar
[5]Blok, W. J., ‘The free closure algebra on finitely many generators’, Indag. Math. 37 (1977), 362–379.CrossRefGoogle Scholar
[6]Blok, W. J. and Dwinger, Ph., ‘Equational classes of closure algebras I’, Indag. Math. 37 (1975), 189–198.CrossRefGoogle Scholar
[7]Varela, J. P. Díaz, Algebras de Clausura y su Estructura Simétrica (Ph. D. Thesis, Universidad Nacional del Sur, 1997).Google Scholar
[8]Halmos, P., ‘Algebraic logic I. Monadic Boolean algebras’, Compositio Math. 12 (1955), 217–249.Google Scholar
[9]Hecht, T. and Katrinák, T., ‘Equational classes of relative Stone algebras’, Notre Dame J. Formal Logic 13 (1972), 248–254.Google Scholar
[10]Jónsson, B., ‘Algebras whose congruence lattices are distributive’, Math. Scand. 5 (1967), 110–121.CrossRefGoogle Scholar
[11]Lewis, C. I. and Langford, C. H., Symbolic logic (Century Co., New York, 1932).Google Scholar
[12]McKinsey, J. C. C. and Tarski, A., ‘The algebra of topology’, Ann. of Math. (2) 45 (1944), 141–191.Google Scholar
[13]McKinsey, J. C. C. and Tarski, A., ‘On closed elements in closure algebras’, Ann. of Math. (2) 47 (1946), 122–162.Google Scholar
[14]McKinsey, J. C. C. and Tarski, A., ‘Some theorems about the sentential calculi of Lewis and Heyting’, J. Symbolic Logic 13 (1948), 1–15.CrossRefGoogle Scholar
[15]Monteiro, L., ‘Une construction du réticulé distributif libre sur un ensemble ordonné’, Colloq. Math. 17 (1967), 23–27.CrossRefGoogle Scholar
[16]Monteiro, L., ‘Algèbre du calcul propositionel trivalent de Heyting’, Fund. Math. 74 (1972), 99–109.Google Scholar
[17]Monteiro, L., ‘Algèbre de Boole monadiques libres’, Algebra Universalis 8 (1978), 374–380.Google Scholar