Search results
- 1.0379794 - ÚI 2013 RIV DE eng M - Monography Chapter
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
R&D Projects: GA AV ČR IAA100300503
Institutional research plan: CEZ:AV0Z10300504
Keywords : Mathematical Fuzzy Logic * axiomatic systems * completeness theorems
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0210669 - 2.0361226 - ÚI 2012 RIV US eng M - Monography Chapter
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
R&D Projects: GA AV ČR IAA100300503
Institutional research plan: CEZ:AV0Z10300504
Keywords : ontological proof * Gödel
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0198591File Download Size Commentary Version Access 0361226.pdf 6 1.4 MB Author´s preprint require - 3.0097956 - ÚI 2008 RIV IN eng M - Monography Chapter
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
R&D Projects: GA AV ČR IAA100300503
Institutional research plan: CEZ:AV0Z10300504
Keywords : mathematical fuzzy logic * many-valued logic t-norms
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0156981