Studia Logica 70 (2):157-182 (2002)

Abstract
ukasiewicz''s four-valued modal logic is surveyed and analyzed, together with ukasiewicz''s motivations to develop it. A faithful interpretation of it in classical (non-modal) two-valued logic is presented, and some consequences are drawn concerning its classification and its algebraic behaviour. Some counter-intuitive aspects of this logic are discussed in the light of the presented results, ukasiewicz''s own texts, and related literature.
Keywords Łukasiewicz  four-valued logic  faithful translation  modal logic  many-valued logic  intensional logic  discrete epistemic algebras
Categories (categorize this paper)
Reprint years 2004
DOI 10.1023/A:1015111314455
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,172
Through your library

References found in this work BETA

View all 14 references / Add more references

Citations of this work BETA

Four-Valued Paradefinite Logics.Ofer Arieli & Arnon Avron - 2017 - Studia Logica 105 (6):1087-1122.
Paraconsistent Logic From a Modal Viewpoint.Jean-Yves Béziau - 2005 - Journal of Applied Logic 3 (1):7-14.

View all 16 citations / Add more citations

Similar books and articles

Analytics

Added to PP index
2009-01-28

Total views
54 ( #211,815 of 2,517,885 )

Recent downloads (6 months)
1 ( #409,482 of 2,517,885 )

How can I increase my downloads?

Downloads

My notes