Abstract
In this article the historical development of the theory of Post algebras is presented. Various approaches to the theory of Post algebras are described with particular emphasis on recent development and recent results. The article also includes a rather extensive discussion of generalized Post algebras (Post algebras with infinite chains of constants) which have been studied in recent years.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Balbes, R., ‘The Center of the Free Product of Distributive Lattices’, Proc. Amer. Math. Soc. 29 (1971), 434–436.
Balbes, R. and Dwinger, Ph., ‘Uniqueness of Representations of Distributive Lattice as a Free Product of a Boolean Algebra and a Chain’, Colloq. Math. 24 (1971), 27–35.
Balbes, R. and Dwinger, Ph., ‘Coproducts of Boolean Algebras and Chains with Applications to Post Algebras’, Colloq. Math. 24 (1971), 15–25.
Balbes, R. and Dwinger, Ph., Distributive Lattices, University of Missouri Press, 1974.
Beazer, P., ‘Post-Like Algebras and Injective Stone Algebras’, Algebra Universalis 5 (1975), 16–23.
Bialynicki-Birula, A., ‘Remarks on Quasi-Boolean Algebras’, Bull. Acad. Polon. Sci. Ser. Sci. Math. Astronom. Phys. 5 (1957), 615–619.
Bialynicki-Birula, A. and Rasiowa, H., ‘On the Representation of Quasi-Boolean Algebras’, Bull. Acad. Polon. Sci. Ser. Sci. Math. Astronom. Phys. 5 (1957), 259–261.
Blazer, R., ‘Some Remarks on Post Algebras’, Colloq. Math. 29 (1974), 167–178.
Blok, W. J., ‘Generalized Post Algebras’, Masters Thesis, University of Amsterdam (1972).
Blok, W. J., ‘The Center of the Coproduct of Distributive Lattices with 0,1’, Nieuw. Archief, voor Wiskunde (to appear).
Chang, C. C. and Horn, A., ‘Prime Ideal Characterization of Generalized Post Algebras’, Proceedings of the Symposium on Pure Math., Amer. Math. Soc. 2 (1961), 43–48.
Cignoli, R ., ‘Moisil Algebras’ Notas de Logica Matematica, Instituto de Matematica Universidad del sur Bahia Blanca 27 (1970).
Cignoli, R., ‘Representation of Lukasiewicz Algebras and Post Algebras by Continuous Functions’, Colloq. Math. 24 (1972), 127–138.
Comer, S. and Dwinger, Ph., ‘Cancellation for Bounded Distributive Lattices’, Notices Amer. Math. Soc. 151 (1974), 44.
Dwinger, Ph., Introduction to Boolean Algebras, Physica Verlag, Wiirzburg, second edition, 1971.
Dwinger, Ph., ‘Notes on Post Algebras I and II’, Indag. Math. 28 (1966), 462–478.
Dwinger, Ph., ‘Generalized Post Algebras’, Bull. Acad. Polon. Sci. Ser. Sci. Math. Astronom. Phys. 6 (1968), 560–565.
Dwinger, Ph., ‘Ideals in Generalized Post Algebras’, Bull. Acad. Polon. Sci. Ser. Sci. Math. Astronom. Phys. 17 (1969), 483–486.
Dwinger, Ph., ‘Free Post Algebras and Coproducts of Post Algebras’, Bull. Acad. Polon. Sci. Ser. Sci. Math. Astronom. Phys. 20 (1972), 535–537.
Epstein, G., ‘The Lattice Theory of Post Algebras’, Trans. Amer. Math. Soc. 95 (1960), 300–317.
Epstein, G., ‘Multiple Valued Signal Processing with Limiting’, Symposium on multiple valued logic design, Buffalo, New York, 1972.
Epstein, G. and Horn, A., ‘P-Algebras, an Abstraction from Post Algebras’ (manuscript).
Epstein, G. and Horn, A., ‘Chain Based Lattices’ (manuscript).
Epstein, G., ‘An Equational Axiomatisation for the Disjoint System of Post Algebras’, IEEE Trans, in Computers C-22 4 (1973), 422–423.
Georgescu, G., ‘Caracterisation des épimorphismes des algèbres de Lukasiewicz θ-valentes’, C. R. Acad. Sci. Paris Ser. A-B 271 (1970), A708–A710.
Georgescu, G. and Vraciu, C., ‘La dualité des algèbres de Post θ-valentes’, J. Algebra 21 (1972), 74–86.
Grätzer, G., Universal Algebra, Van Nostrand, Princeton, 1968.
Grätzer, G., Lattice Theory: First Concepts and Distributive Lattices, W. H. Freeman Co., San Francisco, 1971.
Iturrioz, L. and Makinson, D., ‘Sur les filters premiers d’un treillis distributif et ses sous-treillis’, C. R. Acad. Sci. Paris 270 (1970), 575–577.
Kalman, J. A., ‘Lattices with Involution’, Trans. Amer. Math. Soc. 87 (1958), 485–491.
Katrinà k, T. and Mitschke, A., ‘Stonesche Verbande der Ordnung n und Postalgebren’, Math. Ann. 199 (1972), 13–20.
Moisil, G. C., ‘Recherches sur l’algebre de la logique’, Annates scientifiques de I’universite de Jassy 22 (1935), 1–117.
Monteiro, A., ‘Matrices de Morgan caractéristiques pour le calcul propositional classique’, An. Acad. Brasil Ci 52 (1960), 1–7.
Nerode, A., ‘Some Stone Spaces and Recursion Theory’, Duke Math. J. 26 (1959), 397–406.
Post, E. L., ‘Introduction to a General Theory of Elementary Propositions’, Amer. J. Math. 43 (1921), 163–185.
Rasiowa, H., ‘On Generalized Post Algebras of Order ω+ and ω+ Valued Predicate Calculi’, Bull, de I’acad. Polonaise des Sc. Ser. d. Sc. Math., Astronom. et Phys., vol. XXI, 3 (1973), 209–219.
Rosenbloom, P. C., ‘Post Algebras, I Postulates and General Theory’, Amer. J. Math. 64 (1942), 167–183.
Rousseau, G., ‘Post Algebras and Pseudo-Post Algebras’, Fund. Math. 67 (1970), 133–145.
Saloni, Zygmunt, ‘A Topological Representation of Post Algebras and Free Post Algebras’, Colloq. Math. vol. XXXI, 1 (1974), 1–9.
Sawicka, H., ‘On Some Properties of Generalized Post Algebras’, Bull. Acad. Polon. Sci. Ser. Sci. Math. Astronom. Phys. 19 (1971), 267–269.
Sawicka, H., ‘On Some Properties of Post Algebras with Countable Chains of Constants’, Colloq. Math. 25 (1972), 201–209.
Sikorski, R., Boolean Algebras, Springer-Verlag (third ed.) New York, Berlin, Göttingen, Heidelberg, 1969.
Speed, T. P., ‘A Note on Post Algebras’, Colloq. Math. 24 (1971), 37–44.
Strecker, J., ‘The Strong Cancellation Property for the Free Product of Bounded Distributive Lattices’, Thesis, Vanderbilt University, 1974.
Traczyk, T., ‘Axioms and Some Properties of Post Algebras’, Colloq. Math. 10 (1963), 193–209.
Traczyk, T., ‘An Equational Definition of a Class of Post Algebras’, Bull. Acad. Polon Sci. Ser. Sci. Math. Astronom. Phys. 12 (1964), 147–150.
Traczyk, T., ‘A Generalization of the Loomis-Sikorski Theorem’. Colloq. Math. 12 (1964), 156–161.
Traczyk, T., ‘On Post Algebras with Uncountable Chain of Constants Algebras of Homomorphisms’, Bull. Acad. Polon. Sci. Ser. Sci. Math. Astronom. Phys. 25 (1967), 673–680.
Traczyk, T., ‘Prime Ideals in Generalized Post Algebras’, Bull. Acad. Polon. Sci. Ser. Sci. Math. Astronom. Phys. 26 (1968), 369–373.
Traczyk, T., ‘Some Theorems on Independence in Post Algebras’, Bull. Acad. Polon. Sci. Ser. Sci. Math. Astronom. Phys. 11 (1963), 3–8.
Traczyk, T., ‘Weak Isomorphisms of Boolean Algebras and Post Algebras’, Colloq. Math. 13 (1964/1965), 159–164.
Wade, L. I., ‘Post Algebras and Rings’, Duke Math. J. 12 (1945), 389–395.
Wlodarska, E., ‘On the Representation of Post Algebras Preserving Some Infinite Joins and Meets’, ibid. 18 (1970), 49–54.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1977 D. Reidel Publishing Company Dordrecht-Holland
About this chapter
Cite this chapter
Dwinger, P. (1977). A Survey of the Theory of Post Algebras and Their Generalizations. In: Dunn, J.M., Epstein, G. (eds) Modern Uses of Multiple-Valued Logic. Episteme, vol 2. Springer, Dordrecht. https://doi.org/10.1007/978-94-010-1161-7_4
Download citation
DOI: https://doi.org/10.1007/978-94-010-1161-7_4
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-1163-1
Online ISBN: 978-94-010-1161-7
eBook Packages: Springer Book Archive