Non-commutative EQ-logics and their extensions
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17610%2F09%3AA1000VNU" target="_blank" >RIV/61988987:17610/09:A1000VNU - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Non-commutative EQ-logics and their extensions
Original language description
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 whichend up with a logic equivalent to the MTL-logic.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
BA - General mathematics
OECD FORD branch
—
Result continuities
Project
—
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2009
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Proceedings of IFSA World Congress/EUSFLAT Conference
ISBN
978-989-95079-6-8
ISSN
—
e-ISSN
—
Number of pages
6
Pages from-to
—
Publisher name
Universidade Técnica de Lisboa
Place of publication
Lisabon
Event location
Lisabon, Portugalsko
Event date
Jul 20, 2009
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—