The completeness of the factor semantics for łukasiewicz's infinite-valued logics

Studia Logica 52 (1):143 - 167 (1993)
  Copy   BIBTEX


In [12] it was shown that the factor semantics based on the notion ofT-F-sequences is a correct model of the ukasiewicz's infinite-valued logics. But we could not consider some important aspects of the structure of this model because of the short size of paper. In this paper we give a more complete study of this problem: A new proof of the completeness of the factor semantic for ukasiewicz's logic using Wajsberg algebras [3] (and not MV-algebras in [1]) and Symmetrical Heyting monoids [7] is proposed. Some consequences of such an approach are investigated.



    Upload a copy of this work     Papers currently archived: 92,907

External links

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

Through your library


Added to PP

67 (#248,070)

6 months
8 (#411,621)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Vladimir Vasyukov
Russian Academy of Sciences

Citations of this work

No citations found.

Add more citations

References found in this work

An Interpretation of Many-Valued Logic.Alasdair Urquhart - 1973 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 19 (7):111-114.
An Interpretation of Many‐Valued Logic.Alasdair Urquhart - 1973 - Mathematical Logic Quarterly 19 (7):111-114.
Model structures and set algebras for Sugihara matrices.Chris Mortensen - 1982 - Notre Dame Journal of Formal Logic 23 (1):85-90.

Add more references