Zpět na hledáníSome (Non)Tautologies of Lukasiewicz and Product Logic (2010)výskyt výsledku
Identifikační kód | RIV/67985807:_____/10:00343867 |
---|---|
Název v anglickém jazyce | Some (Non)Tautologies of Lukasiewicz and Product Logic |
Druh | J - Recenzovaný odborný článek (Jimp, Jsc a Jost) |
Poddruh | - |
Jazyk | eng - angličtina |
Obor - skupina | B - Fyzika a matematika |
Obor | BA - Obecná matematika |
Rok uplatnění | 2010 |
Kód důvěrnosti údajů | S - Úplné a pravdivé údaje o výsledku nepodléhající ochraně podle zvláštních právních předpisů. |
Počet výskytů výsledku | 2 |
Počet tvůrců celkem | 1 |
Počet domácích tvůrců | 1 |
Výčet všech uvedených jednotlivých tvůrců | Petr Hájek (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 2624788) |
Popis výsledku v anglickém jazyce | The paper presents a particular example of a formula which is a standard tautology of Lukasiewicz but not its general tautology; an example of a model in which the formula is not true is explicitly constructed. Analogous example of a formula and its model is given for product logic. |
Klíčová slova oddělená středníkem | Lukasiewicz logic; product logic; tautology; (non)tautology |
Stránka www, na které se nachází výsledek | - |
Odkaz na údaje z výzkumu | - |
Údaje o výsledku v závislosti na druhu výsledku
Název periodika | Review of Symbolic Logic |
---|---|
ISSN | 1755-0203 |
e-ISSN | - |
Svazek periodika | 3 |
Číslo periodika v rámci uvedeného svazku | 2 |
Stát vydavatele periodika | GB - Spojené království Velké Británie a Severního Irska |
Počet stran výsledku | 6 |
Strana od-do | |
Kód UT WoS článku podle Web of Science | 000278948200005 |
EID výsledku v databázi Scopus | - |
Způsob publikování výsledku | - |
Předpokládaný termín zveřejnění plného textu výsledku | - |
Ostatní informace o výsledku
Předkladatel | Ústav informatiky AV ČR, v. v. i. |
---|---|
Dodavatel | AV0 - Akademie věd České republiky (AV ČR ) |
Rok sběru | 2011 |
Specifikace | RIV/67985807:_____/10:00343867!RIV11-AV0-67985807 |
Datum poslední aktualizace výsledku | 30.05.2011 |
Kontrolní číslo | 12802388 |
Informace o dalších výskytech výsledku dodaného stejným předkladatelem
Dodáno MŠMT v roce 2011 | RIV/67985807:_____/10:00343867 v dodávce dat RIV11-MSM-67985807/01:1 |
---|
Odkazy na výzkumné aktivity, při jejichž řešení výsledek vznikl
Výzkumný záměr podporovaný AV ČR | AV0Z10300504 - Informatika pro informační společnost: modely, algoritmy, aplikace (2005 - 2010) |
---|