- 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
A common abstraction of MV-Algebras and Abelian l-groups
Studia Logica 65 (3):355-366 (2000)
Abstract
We investigate the class of strongly distributive pregroups, a common abstraction of MV-algebras and Abelian l-groups which was introduced by E.Casari. The main result of the paper is a representation theorem which yields both Chang's representation of MV-algebras and Clifford's representation of Abelian l-groups as immediate corollaries.Author's Profile
My notes
Similar books and articles
Some model theory of Abelian groups.Paul C. Eklof - 1972 - Journal of Symbolic Logic 37 (2):335-342.
Abelian Logic and the Logics of Pointed Lattice-Ordered Varieties.Francesco Paoli, Matthew Spinks & Robert Veroff - 2008 - Logica Universalis 2 (2):209-233.
On categorical equivalences of commutative BCK-algebras.Anatolij Dvurečenskij - 2000 - Studia Logica 64 (1):21-36.
A Note on Bosbach’s Cone Algebras.Wolfgang Rump & Yichuan Yang - 2011 - Studia Logica 98 (3):375-386.
The model theory of finitely generated finite-by-Abelian groups.Francis Oger - 1984 - Journal of Symbolic Logic 49 (4):1115-1124.
An elementary presentation of the equivalence between MV-algebras and l-groups with strong unit.Roberto Cignoli & Daniele Mundici - 1998 - Studia Logica 61 (1):49-64.
Undecidable lt theories of topological Abelian groups.Gregory L. Cherlin & Peter H. Schmitt - 1981 - Journal of Symbolic Logic 46 (4):761 - 772.
The Boolean algebras of Abelian groups and well-orders.Dale Myers - 1974 - Journal of Symbolic Logic 39 (3):452-458.
Boolean Skeletons of MV-algebras and ℓ-groups.Roberto Cignoli - 2011 - Studia Logica 98 (1-2):141-147.
Perfect MV-Algebras Are Categorically Equivalent to Abelian l-Groups.Antonio Di Nola & Ada Lettieri - 1994 - Studia Logica 53 (3):417-432.
Analytics
Added to PP
2009-01-28
Downloads
73 (#221,697)
6 months
9 (#295,075)
2009-01-28
Downloads
73 (#221,697)
6 months
9 (#295,075)
Historical graph of downloads
Author's Profile
Citations of this work
M-Zeroids: Structure and Categorical Equivalence.Joshua B. Palmatier & Fernando Guzman - 2012 - Studia Logica 100 (5):975-1000.
References found in this work
On the Semantics of Comparative Logic.Pierluigi Minari - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (5):433-448.
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-7c76586df8-4c2ch uwo