On the infinite-valued Łukasiewicz logic that preserves degrees of truth

Archive for Mathematical Logic

Volumn 45, Issue 7, 2006, Pages 839-868

  Font, Josep Maria ^a   Gil, Àngel J ^b   Torrens, Antoni ^a   Verdú, Ventura ^a  

^a UNIVERSITY OF BARCELONA   (Spain)

^b DEPARTMENT OF ECONOMICS AND BUSINESS   (Spain)

Author keywords

Algebraic logic; Gentzen systems; Many valued logic; MV algebras; Truth degrees

Indexed keywords

EID: 33749036281     PISSN: 09335846     EISSN: 14320665     Source Type: Journal    
DOI: 10.1007/s00153-006-0001-7     Document Type: Article

References (34)

1. Avron, A.: The semantics and proof theory of linear logic. Theoret. Comput. Sci. 57, 161-184 (1988)
2. Balbes, R., Dwinger, P.: Distributive Lattices. University of Missouri Press, Columbia (1974)
3. Blok, W., Pigozzi, D.: Algebraizable Logics, vol. 396. Mem. Am. Math. Soc. A.M.S., Providence (1989)
4. Blok, W., Pigozzi. D.: Algebraic semantics for universal Horn logic without equality. In: Romanowska, A., Smith, J.D.H. (eds.) Universal Algebra and Quasigroup Theory, pp. 1-56. Heldermann, Berlin (1992)
5. Chang, C.C.: Algebraic analysis of many-valued logics. Trans. Am Math. Soc. 88, 467-490 (1958)
6. Cignoli. R., Mundici, D., D'Ottaviano, I.: Algebraic foundations of many-valued reasoning. In: Trends in Logic - Studia Logica Library, vol. 7. Kluwer, Dordrecht (2000)
7. Cleave, J.: The notion of logical consequence in the logic of inexact predicates. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 20, 307-324 (1974)
8. Czelakowski, J.: Protoalgebraic logics. Trends in Logic - Studia Logica Library, vol. 10. Kluwer Academic Publishers, Dordrecht (2001)
9. Font, J.M.: An abstract algebraic logic view of some multiple-valued logics. In: Fitting, M., Orlowska, E. (eds.) Beyond two: Theory and applications of multiple-valued logic. Studies in Fuzziness and Soft Computing, vol. 114, pp. 25-58. Physica-Verlag, Heidelberg Berlin New York (2003)
10. Font, J.M.: Generalized matrices in abstract algebraic logic. In: Hendriks, V.F., Malinowski, J. (eds.) Trends in logic. 50 years of Studia Logica. Trends in Logic - Studia Logica Library, vol. 21, pp. 57-86. Kluwer, Dordrecht (2003)
11. Font, J.M., Jansana, R.: A general algebraic semantics for sentential logics. Lecture Notes in Logic, vol. 7, 135 pp. Springer, Berlin Heidelberg New York (1996). Presently distributed by the Association for Symbolic Logic
12. Font, J.M., Jansana, R., Pigozzi, D.: Fully adequate Gentzen systems and the deduction theorem. Rep. Math. Logic 35, 115-165 (2001)
13. Font, J.M., Jansana, R., Pigozzi, D.: A survey of abstract algebraic logic. Studia Logica (Spec. Issue Abstr. Algebraic Logic Part II) 74, 13-97 (2003)
14. Font, J.M., Rodríguez, A.J., Torrens, A.: Wajsberg algebras. Stochastica 8, 5-31 (1984)
15. Font, J.M., Verdú, V.: Algebraic logic for classical conjunction and disjunction. Studia Logica (Spec. Issue Algebraic Logic) 50, 391-419 (1991)
16. Gil, A.J.: Sistemes de Gentzen multidimensionals i lògiques finitament valorades. Teoria i aplicacions. Ph. D. Dissertation, University of Barcelona (1996)
17. Gil, A.J., Torrens, A., Verdú, V.: Lógicas de Łukasiewicz congruenciales. Teorema de la deductión. In: Bustos, E., Echeverría, J., Pérez Sedeño, E., Sánchez Balmaseda, M.I. (eds.) Actas del I Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España, pp. 71-74. Madrid (1993)
18. Gil, A.J., Torrens, A., Verdú, V.: On Gentzen systems associated with the finite linear MV-algebras. J. Logic Comput. 7, 473-500 (1997)
19. Gispert, J.: Universal classes of MV-chains, with applications to many-valued logics. Math. Logic Q. 48, 581-601 (2002)
20. Hájek, P.: Metamathematics of fuzzy logic. In: Trends in Logic - Studia Logica Library, vol. 4. Kluwer, Dordrecht (1998)
21. Hay, L.: Axiomatization of the infinite-valued predicate calculus. J. Symbolic Logic 28, 77-86 (1963)
22. Łukasiewicz, J.: Selected works. Borkowksi, L. Studies in Logic and the Foundations of Mathematics. North-Holland, Amsterdam (1970)
23. Łukasiewicz, J., Tarski, A.: Untersuchungen über den Aussagenkalkül. Comptes Rendus des Séances de la Société des Sciences et des Lettres de Varsovie, Cl. III 23, 30-50 (1930). Reprinted in [22], pp. 131-152
24. Nowak, M.: A characterization of consequence operations preserving degrees of truth. Bull. Sect. Logic 16, 159-166 (1987)
25. Ono, H.: Substructural logics and residuated lattices - an introduction. In: Hendriks, V.F. Malinowski, J. (eds.) Trends in Logic. 50 Years of Studia Logica. Trends in Logic - Studia Logica Library, vol. 21, pp. 193-228. Kluwer, Dordrecht (2003)
26. Priest, G.: The logic of paradox. J. Philos. Logic 8, 219-241 (1979)
27. Rebagliato, J., Verdú, V: On the algebraization of some Gentzen systems. Fundam Inform (Spec Issue Algebraic Logic Appl) 18, 319-338 (1993)
28. Rodríguez, A.J.: Un estudio algebraico del cálculo proposicional de Łukasiewicz. Ph.D. Dissertation, Universitat de Barcelona (1980)
29. Rodríguez, A.J., Torrens, A., Verdú, V: Łukasiewicz logic and Wajsberg algebras. Bull. Sect. Logic 19, 51-55 (1990)
30. Rose, A., Rosser, J.B.: Fragments of many-valued statement calculi. Trans. A.M.S. 87, 1-53 (1958)
31. Scott, D: Background to formalisation. In: Leblanc, H. (ed.) Truth, syntax and modality, pp. 244-273. North-Holland, Amsterdam (1973)
32. Scott, D.: Completeness and axiomatizability in many-valued logic. In: Henkin, L. et al. (eds.) Proceedings of the tarski symposium. Proceedings of Symposia in Pure Mathematics, vol. 25, pp. 411-436. American Mathematical Society, Providence (1974)
33. Torrens, A.: W-algebras which are Boolean products of members of SR[1] and CW-algebras. Stud Logica 47, 265-274 (1987)
34. Wójcicki, R.: Theory of logical calculi. Basic theory of consequence operations. In: Synthese Library, vol. 199. Reidel, Dordrecht (1988)