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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

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

Free Łukasiewicz implication algebras.José Patricio Díaz Varela - 2008 - Archive for Mathematical Logic 47 (1):25-33.
Monadic GMV-algebras.Jiří Rachůnek & Dana Šalounová - 2008 - Archive for Mathematical Logic 47 (3):277-297.
A common generalization for MV-algebras and Łukasiewicz–Moisil algebras.George Georgescu & Andrei Popescu - 2006 - Archive for Mathematical Logic 45 (8):947-981.
Commutative basic algebras and non-associative fuzzy logics.Michal Botur & Radomír Halaš - 2009 - Archive for Mathematical Logic 48 (3-4):243-255.
Partial algebras for Łukasiewicz logics and its extensions.Thomas Vetterlein - 2005 - Archive for Mathematical Logic 44 (7):913-933.
Decomposability of free Łukasiewicz implication algebras.Jose Patricio Díaz Varela & Antoni Torrens Torrell - 2006 - Archive for Mathematical Logic 45 (8):1011-1020.
Pavelka-style completeness in expansions of Łukasiewicz logic.Hector Freytes - 2008 - Archive for Mathematical Logic 47 (1):15-23.
Quasivarieties and Congruence Permutability of Łukasiewicz Implication Algebras.M. Campercholi, D. Castaño & J. P. Díaz Varela - 2011 - Studia Logica 98 (1-2):267-283.
Representation and extension of states on MV-algebras.TomአKroupa - 2006 - Archive for Mathematical Logic 45 (4):381-392.
A Generalization of the Łukasiewicz Algebras.Teresa Almada & JÚlia Vaz de Carvalho - 2001 - Studia Logica 69 (3):329 - 338.
The Variety Generated by all the Ordinal Sums of Perfect MV-Chains.Matteo Bianchi - 2013 - Studia Logica 101 (1):11-29.
Averaging the truth-value in łukasiewicz logic.Daniele Mundici - 1995 - Studia Logica 55 (1):113 - 127.
Proper n-valued łukasiewicz algebras as s-algebras of łukasiewicz n-valued prepositional calculi.Roberto Cignoli - 1982 - Studia Logica 41 (1):3 - 16.

Analytics

Added to PP
2013-11-23

Downloads
31 (#501,295)

6 months
8 (#352,434)

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