Monadic bounded residuated lattices

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989592%3A15310%2F13%3A33146190" target="_blank" >RIV/61989592:15310/13:33146190 - isvavai.cz</a>
Nalezeny alternativní kódy
RIV/61989100:27510/13:86087999
Výsledek na webu
<a href="http://dx.doi.org/10.1007/s11083-011-9236-y" target="_blank" >http://dx.doi.org/10.1007/s11083-011-9236-y</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/s11083-011-9236-y" target="_blank" >10.1007/s11083-011-9236-y</a>

Jazyk výsledku
angličtina
Název v původním jazyce
Monadic bounded residuated lattices
Popis výsledku v původním jazyce
Bounded integral residuated lattices form a large class of algebras which contains algebraic counterparts of several propositional logics behind many-valued reasoning and intuitionistic logic. In the paper we introduce and investigate monadic bounded residuated lattices which can be taken as a generalization of algebraic models of the predicate calculi of those logics in which only a single variables occurs.
Název v anglickém jazyce
Monadic bounded residuated lattices
Popis výsledku anglicky
Bounded integral residuated lattices form a large class of algebras which contains algebraic counterparts of several propositional logics behind many-valued reasoning and intuitionistic logic. In the paper we introduce and investigate monadic bounded residuated lattices which can be taken as a generalization of algebraic models of the predicate calculi of those logics in which only a single variables occurs.

Druh
J<sub>x</sub> - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
CEP obor
BA - Obecná matematika
OECD FORD obor
—

Rok uplatnění
2013
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Podobné výsledky(10)