Linear Logic and Lukasiewicz ℵ0- Valued Logic: A Logico-Algebraic Study

&
Journal of Applied Non-Classical Logics 11 (3-4):313-329 (2001)
  Copy   BIBTEX

Abstract

A new characterization of all the MV-algebras embedded in a CL-algebra has been presented. A new sequent calculus for Lukasiewicz ℵ0-valued logic is introduced. Some links between this calculus and the sequent calculus for multiplicative additive linear logic are established. It has been shown that Lukasiewicz ℵ0-valued logic can be embedded in a suitable extension of MALL.

Categories

Keywords

Reprint years

DOI

10.3166/jancl.11.313-329

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,779

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Finiteness in infinite-valued łukasiewicz logic.Stefano Aguzzoli & Agata Ciabattoni - 2000 - Journal of Logic, Language and Information 9 (1):5-29.
Universal Classes of MV-Chains with Applications to Many-valued Logics.Joan Gispert - 2002 - Mathematical Logic Quarterly 48 (4):582-601.
Rose Alan. The degree of completeness of the ℵ0-valued Łukasiewicz propositional calculus. The journal of the London Mathematical Society, vol. 28 , pp. 176–184. [REVIEW]Gene F. Rose - 1956 - Journal of Symbolic Logic 21 (3):328-328.
Monadic GMV-algebras.Jiří Rachůnek & Dana Šalounová - 2008 - Archive for Mathematical Logic 47 (3):277-297.
Rose Alan. A formalisation of the ℵ0-valued Łukasiewicz propositional calculus with variable functors. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 , pp. 289–292. [REVIEW]B. Scarpellini - 1970 - Journal of Symbolic Logic 35 (1):142-142.
Rose Alan. A formalisation of the ℵ0-valued Łukasiewicz implicational propositional calculus with variable functors. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 , pp. 293–294. [REVIEW]B. Scarpellini - 1970 - Journal of Symbolic Logic 35 (1):143-143.
On the infinite-valued Łukasiewicz logic that preserves degrees of truth.Josep Maria Font, Àngel J. Gil, Antoni Torrens & Ventura Verdú - 2006 - Archive for Mathematical Logic 45 (7):839-868.
Topics in Lukasiewicz Logics.Merwin Gordon Beavers - 1991 - Dissertation, Indiana University
Formalisations of further ℵ0-valued Łukasiewicz propositional calculi.Alan Rose - 1978 - Journal of Symbolic Logic 43 (2):207 - 210.
Representation and extension of states on MV-algebras.TomአKroupa - 2006 - Archive for Mathematical Logic 45 (4):381-392.

Analytics

Added to PP
2014-01-21

Downloads
19 (#790,554)

6 months
5 (#836,975)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

Algebraic foundations of many-valued reasoning.Roberto Cignoli - 1999 - Boston: Kluwer Academic Publishers. Edited by Itala M. L. D'Ottaviano & Daniele Mundici.
Linear logic: its syntax and semantics.Jean-Yves Girard - 1995 - In Jean-Yves Girard, Yves Lafont & Laurent Regnier (eds.), Advances in linear logic. New York, NY, USA: Cambridge University Press. pp. 222--1.
Lectures on Linear Logic.Anne Sjerp Troelstra - 1992 - Center for the Study of Language and Information Publications.
Finiteness in infinite-valued łukasiewicz logic.Stefano Aguzzoli & Agata Ciabattoni - 2000 - Journal of Logic, Language and Information 9 (1):5-29.

View all 6 references / Add more references