Archive for Mathematical Logic 47 (3):277-297 (2008)

Abstract
Monadic MV-algebras are an algebraic model of the predicate calculus of the Łukasiewicz infinite valued logic in which only a single individual variable occurs. GMV-algebras are a non-commutative generalization of MV-algebras and are an algebraic counterpart of the non-commutative Łukasiewicz infinite valued logic. We introduce monadic GMV-algebras and describe their connections to certain couples of GMV-algebras and to left adjoint mappings of canonical embeddings of GMV-algebras. Furthermore, functional MGMV-algebras are studied and polyadic GMV-algebras are introduced and discussed
Keywords MV-algebra   GMV-algebra  Monadic MV-algebra  Monadic GMV-algebra  Quantifier  Left adjoint mapping  Polyadic GMV-algebra
Categories (categorize this paper)
DOI 10.1007/s00153-008-0086-2
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 53,742
Through your library

References found in this work BETA

An Algebraic Approach to Non-Classical Logics.Helena Rasiowa - 1974 - Warszawa, Pwn - Polish Scientific Publishers.
On Monadic MV-Algebras.Antonio Di Nola & Revaz Grigolia - 2004 - Annals of Pure and Applied Logic 128 (1-3):125-139.

View all 8 references / Add more references

Citations of this work BETA

Monadic NM-Algebras.Juntao Wang, Pengfei He & Yanhong She - 2019 - Logic Journal of the IGPL 27 (6):812-835.

Add more citations

Similar books and articles

Monadic Bounded Algebras.Galym Akishev & Robert Goldblatt - 2010 - Studia Logica 96 (1):1 - 40.
Functional Monadic Bounded Algebras.Robert Goldblatt - 2010 - Studia Logica 96 (1):41 - 48.
Boolean Deductive Systems of BL-Algebras.Esko Turunen - 2001 - Archive for Mathematical Logic 40 (6):467-473.
Type-Decomposition of a Synaptic Algebra.David J. Foulis & Sylvia Pulmannová - 2013 - Foundations of Physics 43 (8):948-968.
Hyper-Archimedean BL-Algebras Are MV-Algebras.Esko Turunen - 2007 - Mathematical Logic Quarterly 53 (2):170-175.
A Note on Bosbach’s Cone Algebras.Wolfgang Rump & Yichuan Yang - 2011 - Studia Logica 98 (3):375-386.
Polyadic and Cylindric Algebras of Sentences.Mohamed Amer & Tarek Sayed Ahmed - 2006 - Mathematical Logic Quarterly 52 (5):444-449.
Free Łukasiewicz Implication Algebras.José Patricio Díaz Varela - 2008 - Archive for Mathematical Logic 47 (1):25-33.

Analytics

Added to PP index
2013-12-01

Total views
36 ( #271,979 of 2,349,896 )

Recent downloads (6 months)
2 ( #331,717 of 2,349,896 )

How can I increase my downloads?

Downloads

My notes