Výsledky vyhledávání
- 1.0103428 - UIVT-O 20040169 IT eng A - Abstrakt
Běhounek, Libor
Extensional Set Equality over Gödel Logic.
Logic Colloquium 2004. Turin: University of Torino, 2004. s. 49.
[ASL European Summer Meeting. 25.07.2004-31.07.2004, Turin]
Výzkumný záměr: CEZ:AV0Z1030915
Klíčová slova: Gödel logic * fuzzy sets * extensionality
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0010736 - 2.0103427 - UIVT-O 20040168 IT eng A - Abstrakt
Cintula, Petr
Towards Universal Fuzzy Logic.
Logic Colloquium 2004. Turin: University of Torino, 2004. s. 63.
[ASL European Summer Meeting. 25.07.2004-31.07.2004, Turin]
Výzkumný záměr: CEZ:AV0Z1030915
Klíčová slova: fuzzy logic * implicative logics * logical matrix * consequence relation
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0010735 - 3.0103426 - UIVT-O 20040167 IT eng A - Abstrakt
Hájek, Petr
On Arithmetic in the Cantor-Lukasiewicz Fuzzy Set Theory.
Logic Colloquium 2004. Turin: University of Torino, 2004. s. 178-178.
[ASL European Summer Meeting. 25.07.2004-31.07.2004, Turin]
Výzkumný záměr: CEZ:AV0Z1030915
Klíčová slova: arithmetic * fuzzy set theory
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0010734 - 4.0047803 - ÚI 2007 IT eng A - Abstrakt
Horčík, Rostislav
Strong Standard Completeness of PiMTL.
Logic Colloquium 2004. Turin: University of Torino, 2004. s. 91.
[ASL European Summer Meeting. 25.07.2004-31.07.2004, Turin]
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0138603 - 5.0047802 - ÚI 2007 IT eng A - Abstrakt
Bílková, Marta
A Computational View of Intuitinistic Propositional Proofs.
Logic Colloquium 2004. Turin: University of Torino, 2004. s. 55-55.
[ASL European Summer Meeting. 25.07.2004-31.07.2004, Turin]
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0138602