A common abstraction of MV-algebras and abelian l-groups

Studia Logica

Volumn 65, Issue 3, 2000, Pages 355-366

  Paoli, Francesco ^a  

^a SCUOLA NORMALE SUPERIORE   (Italy)

Author keywords

Abelian l group; Comparative logic; Fuzzy logic; MV algebra; Pregroup

Indexed keywords

EID: 0012940628     PISSN: 00393215     EISSN: 15728730     Source Type: Journal    
DOI: 10.1023/A:1005287830751     Document Type: Article

References (15)

1. CASARI, E., 1987, 'Comparative logics', Synthese 73, 421-449.
2. CASARI, E., 1989, 'Comparative logics and Abelian l-groups', in R. Ferro et al. (eds.), Logic Colloquium '88, North Holland, Amsterdam, pp. 161-190.
3. CASARI, E., 1991, 'Logics on pregroups', in Nuovi problemi della logica e della filosofia della scienza, vol. II, CLUEB, Bologna, pp. 39-58.
4. 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.
5. CIGNOLI, R., I. M.L. D'OTTAVIANO, D. MUNDICI, 1999, Algebraic Foundations of ManyValued Reasoning, Kluwer, Dordrecht.
6. DARNEL, M.R., 1995, Theory of Lattice-Ordered Groups, Dekker, New York.
7. GRISHIN, V. N., 1982, 'Predicate and set-theoretic calculi based on logic without contractions', Math. URSS Izvestija 18, 41-59.
8. 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.
9. KOPYLOV, A. P., 1995, 'Prepositional 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).
10. LAFONT, Y., 1997, 'The finite model property for various fragments of linear logic', Journal of Symbolic Logic 62, 1202-1208.
11. MINARI, P., 1988, 'On the semantics of comparative logic', Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 28, 433-448.
12. ONO, H., 1985, 'Some remarks on the semantics for the classical logic without the contraction rules', Reports on Mathematical Logic 19, 3-12.
13. ONO, H., 1993, 'Semantics for substructural logics', in K. Dosen and P. Schroeder-Heister (eds.), Substructural Logics, Clarendon Press, Oxford, pp. 259-291.
14. PAOLI, F., 1996, 'On strong comparative logic', Logique et Analyse 155-156, 271-283.
15. PAOLI, F., 1998, 'Simplified affine phase structures', Reports on Mathematical Logic 32, 21-34.