Automata over MV-Algebras

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Brunella Gerla

34th International Symposium on Multiple-Valued Logic (ISMVL'04)

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

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ISMVL.2004.1319919

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

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.