Number of the records: 1
A Non-Arithmetical Gödel Logic
- 1.0405601 - UIVT-O 330981 RIV GB eng J - Journal Article
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
R&D Projects: GA AV ČR IAA100300503
Institutional research plan: CEZ:AV0Z10300504
Keywords : fuzzy logic * Gödel logic * arithmetical hierarchy
Subject RIV: BA - General Mathematics
Impact factor: 0.382, year: 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í.
Permanent Link: http://hdl.handle.net/11104/0125752
Number of the records: 1