A Duality for the Algebras of a Łukasiewicz n + 1-valued Modal System

Studia Logica 87 (1):13-36 (2007)
  Copy   BIBTEX

Abstract

In this paper, we develop a duality for the varieties of a Łukasiewicz n + 1-valued modal System. This duality is an extension of Stone duality for modal algebras. Some logical consequences (such as completeness results, correspondence theory...) are then derived and we propose some ideas for future research

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,593

External links

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

Through your library

Similar books and articles

Notes on n × m-valued Łukasiewicz Algebras with Negation.Claudia Sanza - 2004 - Logic Journal of the IGPL 12 (6):499-507.
Bourne on future contingents and three-valued logic.Daisuke Kachi - 2009 - Logic and Logical Philosophy 18 (1):33-43.
On a four-valued modal logic with deductive implication.Marcelo E. Coniglio & Martín Figallo - 2014 - Bulletin of the Section of Logic 43 (1/2):1-18.
Free Łukasiewicz implication algebras.José Patricio Díaz Varela - 2008 - Archive for Mathematical Logic 47 (1):25-33.
A Duality For -valued Mv-algebras.Marina Lattanzi & Alejandro Petrovich - 2009 - Reports on Mathematical Logic:65-84.
On Axiomatization of Łukasiewicz's Four-Valued Modal Logic.Marcin Tkaczyk - 2011 - Logic and Logical Philosophy 20 (3):215-232.
Monadic GMV-algebras.Jiří Rachůnek & Dana Šalounová - 2008 - Archive for Mathematical Logic 47 (3):277-297.

Analytics

Added to PP
2009-01-28

Downloads
92 (#171,146)

6 months
3 (#445,838)

Historical graph of downloads
How can I increase my downloads?

References found in this work

Semantical Analysis of Modal Logic I. Normal Propositional Calculi.Saul A. Kripke - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (5‐6):67-96.
Many-Valued Logic.Nicholas Rescher - 1970 - British Journal for the Philosophy of Science 21 (4):405-406.

View all 19 references / Add more references