Search results
- 1.0103428 - UIVT-O 20040169 IT eng A - Abstract
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]
Institutional research plan: CEZ:AV0Z1030915
Keywords : Gödel logic * fuzzy sets * extensionality
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0010736 - 2.0103427 - UIVT-O 20040168 IT eng A - Abstract
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]
Institutional research plan: CEZ:AV0Z1030915
Keywords : fuzzy logic * implicative logics * logical matrix * consequence relation
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0010735 - 3.0103426 - UIVT-O 20040167 IT eng A - Abstract
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]
Institutional research plan: CEZ:AV0Z1030915
Keywords : arithmetic * fuzzy set theory
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0010734 - 4.0047803 - ÚI 2007 IT eng A - Abstract
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]
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0138603 - 5.0047802 - ÚI 2007 IT eng A - Abstract
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]
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0138602