- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Perfect MV-Algebras and l-Rings
Journal of Applied Non-Classical Logics 9 (1):159-172 (1999)
Abstract
ABSTRACT In this paper we shall prove that l-rings are categorally equivalent to the MV*-algebras, a subcategory of perfect MV-algebras. We shall use this equivalence in order to characterize l-rings as quotients of certain semirings of matrices over MV*-algebras. We shall establish a relation between l-ideals in l-rings and some ideals in MV*-algebras. This edlows us to study the MV* f-algebras, a subclass of the MV*-algebras corresponding to the f-rings.My notes
Similar books and articles
Commutative rings whose ideals form an MV‐algebra.Lawrence P. Belluce & Antonio Di Nola - 2009 - Mathematical Logic Quarterly 55 (5):468-486.
Partial algebras for Łukasiewicz logics and its extensions.Thomas Vetterlein - 2005 - Archive for Mathematical Logic 44 (7):913-933.
Historical and other considerations regarding the crystal form of sodium-ammoniumd- andl-tartrate, potassiumd- andl-tartrate, potassium-ammoniumd- andl-tartrate, and potassium racemate—I.T. S. Patterson & Charles Buchanan - 1945 - Annals of Science 5 (3):288-295.
Historical and other considerations regarding the crystal form of sodium-ammoniumd- andl-tartrate, potassiumd- andl-tartrate, potassium-ammoniumd- andl-tartrate, and potassium racemate.—II.T. S. Patterson & Charles Buchanan - 1947 - Annals of Science 5 (4):317-324.
On Boolean algebras and integrally closed commutative regular rings.Misao Nagayama - 1992 - Journal of Symbolic Logic 57 (4):1305-1318.
A hierarchy of tree-automatic structures.Olivier Finkel & Stevo Todorčević - 2012 - Journal of Symbolic Logic 77 (1):350-368.
Yosida Type Representation for Perfect MV‐Algebras.Lawrence P. Belluce & Antonio Di Nola - 1996 - Mathematical Logic Quarterly 42 (1):551-563.
Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra.Wles?aw Dziobiak - 1982 - Studia Logica 41 (4):415 - 428.
Concerning Axiomatizability of the Quasivariety Generated by a Finite Heyting or Topological Boolean Algebra.Wieslaw Dziobiak - 1982 - Studia Logica 41 (4):415 - 428.
Natural dualities for varieties of BL-algebras.Antonio Di Nola & Philippe Niederkorn - 2005 - Archive for Mathematical Logic 44 (8):995-1007.
Finitely generated free MV-algebras and their automorphism groups.Antonio Di Nola, Revaz Grigolia & Giovanni Panti - 1998 - Studia Logica 61 (1):65-78.
Birkhoff-like sheaf representation for varieties of lattice expansions.Hector Gramaglia & Diego Vaggione - 1996 - Studia Logica 56 (1-2):111 - 131.
Frames and MV-Algebras.Lawrence P. Belluce & Antonio Di Nola - 2005 - Studia Logica 81 (3):357 - 385.
Analytics
Added to PP
2014-01-21
Downloads
24 (#654,246)
6 months
8 (#353,767)
2014-01-21
Downloads
24 (#654,246)
6 months
8 (#353,767)
Historical graph of downloads
References found in this work
Yosida Type Representation for Perfect MV‐Algebras.Lawrence P. Belluce & Antonio Di Nola - 1996 - Mathematical Logic Quarterly 42 (1):551-563.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-64dd777598-cl5t5 uwo