Počet záznamů: 1
A Non-Arithmetical Gödel Logic
- 1.0405601 - UIVT-O 330981 RIV GB eng J - Článek v odborném periodiku
Hájek, Petr
A Non-Arithmetical Gödel Logic.
[Nearitmetická Gödelova logika.]
Logic Journal of the IGPL. Roč. 13, č. 4 (2005), s. 435-441. ISSN 1367-0751. E-ISSN 1368-9894
Grant CEP: GA AV ČR IAA100300503
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: fuzzy logic * Gödel logic * arithmetical hierarchy
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.382, rok: 2005
The Gödel predicate logic with countable set of values is shown to have non-arithmetical set of tautologies.
Dokazuje se, že jedna významná Gödelova logika se spočetnou množinou pravděpodobnostních hodnot má nearitmetickou množinu tautologií.
Trvalý link: http://hdl.handle.net/11104/0125752
Počet záznamů: 1