On Gentzen systems associated with the finite linear MV-algebras

Journal of Logic and Computation

Volumn 7, Issue 4, 1997, Pages 473-500

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

^a UNIVERSITAT POMPEU FABRA   (Spain)

^b UNIVERSITY OF BARCELONA   (Spain)

Author keywords

Deductive system; Gentzen system; MV algebras; Sequent calculus; ukasiewicz logic

Indexed keywords

EID: 1642605001     PISSN: 0955792X     EISSN: None     Source Type: Journal    
DOI: 10.1093/logcom/7.4.473     Document Type: Article

References (21)

1. A. Avron. Gentzen-type systems, resolution and tableaux. Journal of Automated Reasoning, 10, 265-281, 1993.
2. M. Baaz, C. G. Fermueller and R. Zach. Elimination of cuts in first-order finite-valued logics. Journal of Information Processing and Cybernetics EIK, 29, 333-355, 1994.
3. M. Baaz, C. G. Fermueller, A. Ovtrucki and R. Zach. MULTLOG: A system for axiomatizing many valued logics. In Logic Programming and Automated Reasoning (LPAR'93), A. Voronkov, ed. pp. 345-347. Vol. 698 of Lecture Notes in Artificial Intelligence, Springer Verlag, Berlin, 1993.
4. W. J. Blok and D. Pigozzi. Abstract algebraic logic. A course given at the Summer School on Algebraic Logic and the Methodology of Applying it, Budapest, July, 1994. Preprint, 1994.
5. W. J. Blok and D. Pigozzi. Algebraizable Logics. Vol. 396 of Memoirs of the American Mathematical Society. AMS, Providence, 1989.
6. W. J. Blok and D. Pigozzi. The deduction theorem in algebraic logic. Preprint, 1989.
7. W. J. Blok and D. Pigozzi. Algebraic semantics for universal Horn logic without equality. In Universal Algebra and Quasigroups, A. Romanowska and J. D. H. Smith, eds. pp. 1-56. Heldermann Verlag, Berlin, 1992.
8. S. Burris and H. P. Sankappanavar. A Course in Universal Algebra. Graduate Texts in Mathematics. Springer Verlag, New York, 1981.
9. W. A. Carnielli. Systematization of finite valued logics through the method of tableaux. Journal of Symbolic Logic, 52, 473-493, 1987.
10. C. G. Chang. Algebraic analysis of many valued logics. Transactions of the AMS, 88, 476-490, 1958.
11. R. Cignoli, I. D'Ottaviano and D. Mundici. Álgebras das Lógicas de Lukasiewicz. Centro de Lógica, Epistemologia e Historia da Ciencia (UNICAMP), Campinas, Brazil, 1994.
12. J. Czelakowski. Logic, algebra and consequence operations. Preprint, 1992.
13. J. M. Font, A. J. Rodriguez and A. Torrens. Wajsberg algebras. Stocastica, 8, 3-16, 1984.
14. R. McNaughton. A theorem about infinite-valued sentential logic. Journal of Symbolic Logic, 16, 1-13, 1951.
15. J. Rebagliato and V. Verdú. Algebraizable Gentzen systems and the deduction theorem for Gentzen systems. Mathematics preprint series, Universitat de Barcelona, June 1995.
16. A. J. Rodriguez and A. Torrens. Wajsberg algebras and Post algebras. Studio Logica, 53, 1-19, 1994.
17. A. J. Rodriguez, A. Torrens and V. Verdú. Lukasiewicz logic and Wajsberg algebras. Bulletin of the Section of Logic, Polish Academy of Sciences, 19, 51-55, 1990.
18. J. B. Rosser and A. R. Turquette. Many-Valued Logics. Studies in Logic. North-Holland, Amsterdam, 1952.
19. G. Rousseau. Sequents in many valued logic I. Fundamenta Mathematicae, 60, 23-33, 1967.
20. R. Wójcicki. Theory of Logical Calculi. Basic Theory of Consequence Operations. Vol. 199 of Sinthese Library. Reidel, Dordrecht, 1988.
21. R. Zach. Proof theory of finite-valued logics. Technical Report E185.2-Z.1-93, Technische Universitat Wien, 1993.