loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
34th International Symposium on Multiple-Valued Logic (ISMVL'04)
Automata over MV-Algebras
University of Toronto, Toronto, Canada
May 19-May 22
ISBN: 0-7695-2130-4
ASCII Text
x 
 
Brunella Gerla, "Automata over MV-Algebras," Multiple-Valued Logic, IEEE International Symposium on, pp. 49-54, 34th International Symposium on Multiple-Valued Logic (ISMVL'04), 2004.
 
 
BibTex
x
 
@article{ 10.1109/ISMVL.2004.1319919,
author = {Brunella Gerla},
title = {Automata over MV-Algebras},
journal ={Multiple-Valued Logic, IEEE International Symposium on},
volume = {0},
year = {2004},
issn = {0195-623X},
pages = {49-54},
doi = {http://doi.ieeecomputersociety.org/10.1109/ISMVL.2004.1319919},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Multiple-Valued Logic, IEEE International Symposium on
TI - Automata over MV-Algebras
SN - 0195-623X
SP49
EP54
A1 - Brunella Gerla,
PY - 2004
KW - null
VL - 0
JA - Multiple-Valued Logic, IEEE International Symposium on
ER -
 
Brunella Gerla, University of Salerno

We propose the notion of automata over Łukasiewicz many-valued logic, extending fuzzy automata ([9]).

Indeed, MV-algebras, i.e., algebraic structures related with many-valued Łukasiewicz logic, are made of two semiring reducts obtained considering the supremum operation together with the Łukasiewicz conjunction and the infimum operation together with Łukasiewicz disjunction. Vice-versa, given two semirings over the same domain, and given an isomorphism between these two algberas we can set some conditions in order to have an MV-algebra.

Following the tradition of semirings, in this paper we shall study "many-valued automata" and "many-valued formal languages" interpreted in Łukasiewicz logic.

Citation:
Brunella Gerla, "Automata over MV-Algebras," ismvl, pp.49-54, 34th International Symposium on Multiple-Valued Logic (ISMVL'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.