Výsledky vyhledávání
- 1.0379794 - ÚI 2013 RIV DE eng M - Část monografie knihy
Hájek, Petr
Deductive Systems of Fuzzy Logic.
Proof, Computation and Agency. Logic at the Crossroad. Dordrecht: Springer, 2011 - (van Benthem, J.; Gupta, A.; Parikh, R.), s. 67-78. Synthese Library, 352. ISBN 978-94-007-0079-6
Grant CEP: GA AV ČR IAA100300503
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: Mathematical Fuzzy Logic * axiomatic systems * completeness theorems
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0210669 - 2.0361226 - ÚI 2012 RIV US eng M - Část monografie knihy
Hájek, Petr
Gödel's Ontological Proof and its Variants.
Kurt Gödel and the Foundations of Mathematics: Horizons of Truth. Cambridge: Cambridge University Press, 2011 - (Baaz, M.; Papadimitriou, C.; V, H.; Scott, D.; Harper, C.), s. 307-321. ISBN 978-0-521-76144-4
Grant CEP: GA AV ČR IAA100300503
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: ontological proof * Gödel
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0198591Název souboru Staženo Velikost Komentář Verze Přístup 0361226.pdf 6 1.4 MB Autorský preprint vyžádat - 3.0097956 - ÚI 2008 RIV IN eng M - Část monografie knihy
Hájek, Petr
Deductive Systems of Fuzzy Logic.
[Deduktivní systémy fuzzy logiky.]
Logic at the Crossroads: An Interdisciplinary View. Vol. 1. New Delhi: Allied Publishers PVT, 2007 - (Gupta, A.; Parikh, R.; van Benthem, J.), s. 60-74. ISBN 979-81-8424-272-9
Grant CEP: GA AV ČR IAA100300503
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: mathematical fuzzy logic * many-valued logic t-norms
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0156981