Title: Non-Commutative EQ-Logics and Their Extensions.
Abstract: We discuss a formal many-valued logic called EQlogic which is based on a recently introduced special class of algebras called EQ-algebras. The latter have three basic binary operations (meet, multiplication, fuzzy equality) and a top element and, in a certain sense, generalize residuated lattices. The goal of EQ-logics is to present a possible direction in the development of mathematical logics in which axioms are formed as identities. In this paper we propose a basic EQ-logic and three extensions which end up with a logic equivalent to the MTL-logic. Keywords—EQ-algebra, fuzzy equality, residuated lattice, MTLlogic, fuzzy logic.
Publication Year: 2009
Publication Date: 2009-01-01
Language: en
Type: article
Access and Citation
Cited By Count: 12
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot