Difference between revisions of "On Lukasiewicz's Four-Valued Modal Logic"

From Mathfuzzlog
Jump to: navigation, search
(New page: {{Paper| author=Josep Maria Font|author2=Petr Hájek| title=On Lukasiewicz's Four-Valued Modal Logic| journal=Studia Logica| volume=70| number=2| pages=157-182| year=2002}} == Abstract ==)
 
 
Line 9: Line 9:
  
 
== Abstract ==
 
== Abstract ==
 +
Lukasiewicz's four-valued modal logic is surveyed and analyzed, together with Lukasiewicz's motivations to develop it. A faithful interpretation of it into 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 under the light of the presented results, Lukasiewicz's own texts, and related literature.

Latest revision as of 08:07, 27 April 2016

Authors:
Josep Maria Font
Petr Hájek
Title: On Lukasiewicz's Four-Valued Modal Logic
Journal: Studia Logica
Volume 70
Number 2
Pages: 157-182
Year: 2002





Abstract

Lukasiewicz's four-valued modal logic is surveyed and analyzed, together with Lukasiewicz's motivations to develop it. A faithful interpretation of it into 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 under the light of the presented results, Lukasiewicz's own texts, and related literature.