A few remarks on efficiency of embedding of a classical mathematical problem into fuzzy logical environment
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F70883521%3A28140%2F17%3A63516849" target="_blank" >RIV/70883521:28140/17:63516849 - isvavai.cz</a>
Výsledek na webu
<a href="http://aip.scitation.org/doi/abs/10.1063/1.4992257" target="_blank" >http://aip.scitation.org/doi/abs/10.1063/1.4992257</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1063/1.4992257" target="_blank" >10.1063/1.4992257</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
A few remarks on efficiency of embedding of a classical mathematical problem into fuzzy logical environment
Popis výsledku v původním jazyce
For the case of classical Tarski's theorem on fixed points of isotone maps we show that embedding of this statement into fuzzy logical environment leads to surprising results, which cannot be easily seen and awaited in classical logical environment.
Název v anglickém jazyce
A few remarks on efficiency of embedding of a classical mathematical problem into fuzzy logical environment
Popis výsledku anglicky
For the case of classical Tarski's theorem on fixed points of isotone maps we show that embedding of this statement into fuzzy logical environment leads to surprising results, which cannot be easily seen and awaited in classical logical environment.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
—
OECD FORD obor
10101 - Pure mathematics
Návaznosti výsledku
Projekt
—
Návaznosti
V - Vyzkumna aktivita podporovana z jinych verejnych zdroju
Ostatní
Rok uplatnění
2017
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ů
Údaje specifické pro druh výsledku
Název statě ve sborníku
AIP Conference Proceedings
ISBN
978-073541538-6
ISSN
0094-243X
e-ISSN
neuvedeno
Počet stran výsledku
4
Strana od-do
"nestrankovano"
Název nakladatele
American Institute of Physics Inc.
Místo vydání
Maryland
Místo konání akce
Rhodos
Datum konání akce
19. 9. 2016
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
000410159800107