Monadic Bounded Commutative Residuated ?-monoids

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989592%3A15310%2F08%3A00005543" target="_blank" >RIV/61989592:15310/08:00005543 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Monadic Bounded Commutative Residuated ?-monoids
Original language description
Bounded commutative residuated ?-monoids are a generalization of algebras of propositional logics such as BL-algebras, i.e. algebraic counterparts of the basic fuzzy logic (and hence consequently MV-algebras, i.e. algebras of the Łukasiewicz infinite valued logic) and Heyting algebras, i.e. algebras of the intuitionistic logic. Monadic MV-algebras are an algebraic model of the predicate calculus of the Łukasiewicz infinite valued logic in which only a single individual variable occurs. We introduce andstudy monadic residuated ?-monoids as a generalization of monadic MV-algebras.
Czech name
Monadické ohraničené komutativní reziduované ?-monoidy
Czech description
Ohraničené komutativní reziduované ?-monoidy jsou zobecněním algeber výrokových logik jako např. BL-algeber (algeber basic fuzzy logiky) nebo Heytingových algeber (algebry intuicionistické logiky). Monadické MV-algebry hrají roli algebraického protějškupro predikátový počet Łukasiewiczovy nekonečně hodnotové logiky s jednou individuální proměnnou. V článku zavádíme monadické ohraničené komutativní reziduované ?-monoidy jako zobecnění těchto monadických MV-algeber.

Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
BA - General mathematics
OECD FORD branch
—

Publication year
2008
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)