Two connections between linear logic and Łukasiewicz logics

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1289, Issue , 1997, Pages 128-139

  Ciabattoni, Agata ^a   Luchi, Duccio ^b  

^a Ist Naz Stud e la Cura dei Tumori   (Italy)

^b UNIVERSITY OF SIENA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; COMPUTER CIRCUITS; DIFFERENTIATION (CALCULUS); LINEAR ALGEBRA; LOGIC PROGRAMMING; PHASE SPACE METHODS; SEMANTICS;

LINEAR LOGIC; LUKASIEWICZ LOGIC; MV-ALGEBRAS; PHASE SPACES; SEQUENT CALCULUS;

MANY VALUED LOGICS;

EID: 84886782244     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63385-5_38     Document Type: Conference Paper

References (16)

1. A. Avron. Natural 3-valued Logics. Characterization and Proof Theory. J. of Symbolic Logic, vol. 56. pp. 276-294. 1991.
2. A. Avron. The Method of Hypersequents in the Proof Theory of Propositional Nonclassical Logics. In: Logic: from Foundations to Applications. W. Hodges, M. Hyland, C. Steinhorn and J. Truss eds., European Logic Colloquium. Oxford Science Pubblications. Clarendon Press. Oxford. 1996.
3. C.C. Chang. Algebraic analysis of many valued logics. Trans. Amer. Math. Soc., vol. 88. pp. 467-490. 1958.
4. C.C. Chang. Proof of an axiom of Lukasiewicz. Trans. Am. Math. Soc., vol. 87. pp. 55-56. 1958.
5. C.C. Chang. A new proof of the Completeness of the Lukasiewicz’s axioms. Trans. Amer. Math. Soc., vol. 93. pp. 74-80. 1959.
6. R. Cignoli, D. Mundici and I.M. D’Ottaviano. MV-algebras: the Mathematics of Many-Valued Logic. In preparation.
7. J.Y. Girard. Linear Logic. Theoretical Comp. Science, vol. 50. pp. 1-102. 1987.
8. G. Gentzen. Untersuchungen über das logische Schliessen I, II. Mathematische Zeitschrift, vol. 39. pp. 176-210, pp. 405-431. 1934-35.
9. V.N. Grishin. On the Algebraic Semantics of a Logic without Contraction. In: Studies in Set Theory and Nonclassical Logics, D.A. Bochvar, V.N. Grishin eds., Nauka, Moskva, pp. 247-264. 1976.
10. U. Höhle. Commutative, residuated l-monoids. In: Nonclassical logics and their applications to fuzzy subsets. U. Höhle and P. Element eds., Kluwer. Dordrecht, pp. 53-106. 1995.
11. J. Lukasiewicz. O Logice Trówartosciowej. Ruch Filozoficzny., vol. 5 pp. 170-171. 1920. English Translation: On three-valued logic. In: J. Lukasiewicz Selected Works. North-Holland, Amsterdam, pp. 87-88. 1970.
12. J. Lukasiewicz and A. Tarski. Untersuchungen über den Aussagenkalkül. Compt. Rendus de la Soc. des Sciences et des Lett, de Vars. cl. iii vol. 23. pp. 1-21. 1930. English translation: Investigations into the sentential calculus. Chap. 4. In: Logic, Semantics Metamathematics. Oxford: Clarendon Press. 1956. Reprinted Hackett. Indianapolis. 1983.
13. C. A. Meredith. The dependency of an axiom of Lukasiewicz. Trans. Amer. Math. Soc., vol. 87. p. 57. 1958.
14. A. Prijately. Bounded Contraction and Gentzen style Formulation of Lukasiewicz Logics. Studia Logica, vol. 57. pp. 437-456. 1996.
15. G. Takeuti. Proof Theory. Studies in Logic and the Foundations of Math., vol. 81. North Holland. 1975.
16. A.S. Troelstra and H. Schwichtenberg. Basic Proof Theory. Cambridge University Press. 1996.