Non-commutative Łukasiewicz propositional logic

Archive for Mathematical Logic 45 (2):191-213 (2006)
  Copy   BIBTEX

Abstract

The non-commutative counterpart of the well-known Łukasiewicz propositional logic is developed, in strong connection with the algebraic theory of psMV-algebras. An extension by a new unary logical connective is also considered and a stronger completeness result is proved for this system

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/s00153-005-0297-8

Other Versions

No versions found

Links

PhilArchive

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

Bounded commutative b-c-k logic and Lukasiewicz logic.Marta Sagastume - 2005 - Manuscrito 28 (2):575-583.
Monadic GMV-algebras.Jiří Rachůnek & Dana Šalounová - 2008 - Archive for Mathematical Logic 47 (3):277-297.
Commutative basic algebras and non-associative fuzzy logics.Michal Botur & Radomír Halaš - 2009 - Archive for Mathematical Logic 48 (3-4):243-255.
The failure of strong amalgamation property in certain classes of BCK-algebras.Katarzyna Palasinska - 1987 - Bulletin of the Section of Logic 16 (4):176-179.
Pavelka-style completeness in expansions of Łukasiewicz logic.Hector Freytes - 2008 - Archive for Mathematical Logic 47 (1):15-23.
On Generalized I-algebras And 4-valued Modal Algebras.Aldo Figallo & Paolo Landini - 1995 - Reports on Mathematical Logic:3-18.
Revisiting the Adequacy Theorem for Fragments of Łukasiewicz Logic.Miguel Pérez-Gaspar, Juan Manuel Ramírez-Contreras & Juan Sebastián Slagter - 2026 - Bulletin of the Section of Logic 55 (2):247-279.
Partial algebras for Łukasiewicz logics and its extensions.Thomas Vetterlein - 2005 - Archive for Mathematical Logic 44 (7):913-933.
The $L\Pi$ and $L\Pi\frac{1}{2}$ logics: two complete fuzzy systems joining Łukasiewicz and Product Logics. [REVIEW]Francesc Esteva, Lluís Godo & Franco Montagna - 2001 - Archive for Mathematical Logic 40 (1):39-67.
A Duality for the Algebras of a Łukasiewicz n + 1-valued Modal System.Bruno Teheux - 2007 - Studia Logica 87 (1):13-36.

Analytics

Added to PP
2013-11-23

Downloads
66 (#906,296)

6 months
5 (#1,640,649)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Monadic GMV-algebras.Jiří Rachůnek & Dana Šalounová - 2008 - Archive for Mathematical Logic 47 (3):277-297.
Some classes of quasi-pseudo-MV algebras.Wenjuan Chen & Bijan Davvaz - 2016 - Logic Journal of the IGPL 24 (5).

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.
States on pseudo MV-Algebras.Anatolij Dvurečenskij - 2001 - Studia Logica 68 (3):301-327.

Add more references