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.
Similar content being viewed by others
References
Casari, E., 1987, ‘Comparative logics’, Synthese 73, 421–449.
Casari, E., 1989, ‘Comparative logics and Abelian l-groups’, in R. Ferro et al. (eds.), Logic Colloquium '88, North Holland, Amsterdam, pp. 161–190.
Casari, E., 1991, ‘Logics on pregroups’, in Nuovi problemi della logica e della filosofia della scienza, vol. II, CLUEB, Bologna, pp. 39–58.
Casari, E., 1997, ‘Conjoining and disjoining on different levels’, in M.L. Dalla Chiara et al. (eds.), Logic and Scientific Methods, Kluwer, Dordrecht, pp. 261–288.
Cignoli, R. I.M.L. D'Ottaviano, D. Mundici, 1999, Algebraic Foundations of Many-Valued Reasoning, Kluwer, Dordrecht.
Darnel, M.R., 1995, Theory of Lattice-Ordered Groups, Dekker, New York.
Grishin, V.N., 1982, ‘Predicate and set-theoretic calculi based on logic without contractions’, Math. URSS Izvestija 18, 41–59.
HÖhle, U., 1995, ‘Commutative, residuated l-monoids’, in U. Höhle and P. Klement (eds.), Nonclassical Logics and Their Applications to Fuzzy Subsets, Kluwer, Dordrecht, pp. 53–106.
Kopylov, A.P., 1995, ‘Propositional linear logic with weakening is decidable’, Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science, IEEE Comp. Society Press, S. Diego (CA).
Lafont, Y., 1997, ‘The finite model property for various fragments of linear logic’, Journal of Symbolic Logic 62, 1202–1208.
Minari, P., 1988, ‘On the semantics of comparative logic’, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 28, 433–448.
Ono, H., 1985, ‘Some remarks on the semantics for the classical logic without the contraction rules’, Reports on Mathematical Logic 19, 3–12.
Ono, H., 1993, ‘Semantics for substructural logics’, in K. Dosen and P. Schroeder-Heister (eds.), Substructural Logics, Clarendon Press, Oxford, pp. 259–291.
Paoli, F., 1996, ‘On strong comparative logic’, Logique et Analyse 155–156, 271–283.
Paoli, F., 1998, ‘Simplified affine phase structures’, Reports on Mathematical Logic 32, 21–34.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Paoli, F. A Common Abstraction of MV-Algebras and Abelian l-groups. Studia Logica 65, 355–366 (2000). https://doi.org/10.1023/A:1005287830751
Issue Date:
DOI: https://doi.org/10.1023/A:1005287830751