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

Keywords

Reprint years

DOI

10.1007/s00153-005-0297-8

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,667

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.
Pavelka-style completeness in expansions of Łukasiewicz logic.Hector Freytes - 2008 - Archive for Mathematical Logic 47 (1):15-23.
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.
On Generalized I-algebras And 4-valued Modal Algebras.Aldo Figallo & Paolo Landini - 1995 - Reports on Mathematical Logic:3-18.
Partial algebras for Łukasiewicz logics and its extensions.Thomas Vetterlein - 2005 - Archive for Mathematical Logic 44 (7):913-933.
The distance function in commutative ℓ-semigroups and the equivalence in łukasiewicz logic.Andrzej Wroński - 2004 - Studia Logica 77 (2):241 - 253.
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
38 (#597,502)

6 months
3 (#1,480,774)

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