Abstract
The notion of a GMV-algebra (or a pseudo MV-algebra) is a non-commutative generalization of that of an MV-algebra. Using connections between GMV-algebras and unital l-groups, we describe the ordered sets of prime and regular ideals of GMV-algebras induced on principal ideals, study lexicographic extensions of ideals of GMV-algebras and describe basic GMV-algebras.
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
R. Baudot: Non-commutative logic programming language NoClog, In: Symposium LICS, Santa Barbara, 2000, Short Presentation, pp.3.
L.P. Belluce, S. Sessa: Orthogonal decompositions of MV-spaces, Mathware and Soft Computing 4 (1997), 5–22.
A. Bigard, K. Keimel, S. Wolfenstein: Groupes at Anneaux Réticulés, Springer-Verlag, Berlin-Heidelberg-New York, 1977.
R. Ceterchi: Pseudo-Wajsberg algebras, Multiple Valued Logic (to appear).
R. Ceterchi: The lattice structure of pseudo-Wajsberg algebras, JUCS (to appear).
P. Conrad: Lex-subgroups of lattice ordered groups, Czechoslovak Math. J. 18 (1968), 86–103.
I. Chajda, R. Halas, J. Rachůnek: Ideals and congruences in generalized MV-algebras, Demonstratio Math. 33 (2000), 213–222.
C.C. Chang: Algebraic analysis of many valued logics, Trans. Amer. Math. Soc. 88 (1958), 467–490.
R.L.O. Cignoli, I.M.L. D’Ottaviano, D. Mundici: Algebraic Foundations of Many-valued Reasoning, Kluwer Academic Publishers, Dordrecht-Boston-London, 2000.
A. DiNola, G. Georgescu, S. Sessa: Closed ideals of MV-algebras, In: Advances in Contemporary Logic and Computer Science, Contemp. Math., vol. 235(1999), AMS, Providence, 99–112.
A. Dvurečenskij: Pseudo MV-algebras are intervals in l-groups, J. Austral. Math. Soc. (Ser. A) (to appear).
A. Dvurečenskij: States on Pseudo MV-algebras, Stadia Logica (to appear).
A. Dvurečenskij, G. Kalmbach: States on pseudo MV-algebras and the hull-kernel topology (submitted).
A. Dvurečenskij, S. Pulmannová: New Trends in Quantum Structures, Kluwer,Dordrecht-Boston-London, 2000.
A. M. W. Glass, W. Charles Holland (eds.): Lattice-Ordered Groups (Advances and Techniques), Kluwer Acad. Publ., Dordrecht - Boston - London. 1989.
G. Georgescu, A. Iorgulescu: Pseudo MV-algebras: A non-commutative extension of MV-algebras, In: Proc. Fourth Inter. Symp. Econ. Inform., May 6–9, 1999, INFOREC Printing House, Bucharest, 1999, 961–968.
G. Georgescu, A. Iorgulescu: Pseudo MV-algebras, Multiple Valued Logic 6 (2001), 95–135.
Hájek, P.: Metamathematics of Fuzzy Logic, Kluwer, Amsterdam, 1998.
J. Jakubík: Direct product decompositions of pseudo MV-algebras, Arch. Math. (to appear).
J. Jakubík: Convex chains in a pseudo MV-algebra, Czechoslovak Math. J. (to appear).
J. Jakubík: Basic elements in a pseudo MV-algebra (submitted).
V. M. Kopytov, N. Ya. Medvedev: The Theory of Lattice Ordered Groups, Kluwer Acad. Publ., Dordrecht - Boston - London, 1994.
D. Mundici: Interpretation of AF C*-algebras in Lukasiewicz sentential calculus, J. Funct. Analys. 65 (1986), 15–63.
J. Rachůnek: A non-commutative generalization of MV-algebras, Czechoslovak Math. J. (to appear).
J. Rachůnek: Prime ideals and polars in generalized MV-algebras, Multiple Valued Logic (to appear).
J. Rachůnek: Prime spectra of non-commutative generalizations of MV-algebras (submitted).
E. Turunen: Mathematics Behind Fuzzy Logic, Physica-Verlag, A Springer-Verlag Company, Heidelberg - New York, 1999.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag London Limited
About this paper
Cite this paper
Hort, D., Rachůnek, J. (2001). Lex Ideals of Generalized MV-Algebras. In: Calude, C.S., Dinneen, M.J., Sburlan, S. (eds) Combinatorics, Computability and Logic. Discrete Mathematics and Theoretical Computer Science. Springer, London. https://doi.org/10.1007/978-1-4471-0717-0_11
Download citation
DOI: https://doi.org/10.1007/978-1-4471-0717-0_11
Publisher Name: Springer, London
Print ISBN: 978-1-85233-526-7
Online ISBN: 978-1-4471-0717-0
eBook Packages: Springer Book Archive