刊名:Soft Computing - A Fusion of Foundations, Methodologies and Applications
出版年:2015
出版时间:May 2015
年:2015
卷:19
期:5
页码:1129-1134
全文大小:135 KB
参考文献:1. Belluce, LP, Nola, A, Ferraioli, AR (2013) MV-semirings and their sheaf representations. Order 30: pp. 165-179 CrossRef 2. Botur, M (2010) An example of a commutative basic algebra which is not an MV-algebra. Math Slovaca 60: pp. 171-178 3. Botur, M, Hala?, R (2008) Finite commutative basic algebras are MV-effect algebras. J Mult Valued Log Soft Comput 14: pp. 69-80 4. Chajda, I (2012) Basic algebras and their applications, an overview. Contr Gen Algebra 20: pp. 1-10 5. Chajda, I, Hala?, R, Kühr, J (2007) Semilattice structures. Heldermann, Lemgo 6. Chajda, I, Hala?, R, Kühr, J (2009) Many-valued quantum algebras. Algebra Universalis 60: pp. 63-90 CrossRef 7. Di Nola A, Gerla B (2005) Algebras of Lukasiewicz’s logic and their semiring reducts. Contemp Math 377:131-44 (AMS, Providence) 8. Gerla, B (2003) Many-valued logic and semirings. Neural Netw World 5: pp. 467-480 9. Golan, JS (1992) The theory of semirings with applications in mathematics and theoretical computer science. Wiley, New York 10. Golan, JS (2003) Semirings and affine equations over them: theory and applications. Kluwer, Dordrecht CrossRef 11. Krishna KV (2005) Near-semirings: theory and application. Ph.D. Thesis, IIT Delhi, New Delhi 12. Kuich, W, Salomaa, A (1986) Semirings, automata, languages. Springer, Berlin CrossRef
刊物类别:Engineering
刊物主题:Numerical and Computational Methods in Engineering Theory of Computation Computing Methodologies Mathematical Logic and Foundations Control Engineering
出版者:Springer Berlin / Heidelberg
ISSN:1433-7479
文摘
The relationship between MV-algebras and semirings was described by Di Nola and Gerla (Contemp Math 377:131-44, 2005). Since commutative basic algebras are similar to MV-algebras up to associativity of the binary operation we try to get a similar relationship between commutative basic algebras and so-called near semirings and we show that this is possible. This means that associativity does not play an important role in establishing a connection between an algebra of many-valued logic and a structure similar to a semiring.