2nd Workshop "Mathematical Structures for Nonstandard Logics"

December 12th, 2003
Czech Technical University, Faculty of Electrical Engineering
Karlovo naměstí 13, building E, rooms 24 and 112 (Vyčichlova knihovna). See (how to get here).

Change of the room for the morning session:
room 24 in the left part of the ground floor of the same building (E).
Call (+420 22435) 7342 if you have problems with access.

Final programme (length of talks: 30 min.; click on the title for abstract (if available)):

Morning session, 11:00-12:30, room 24:

Martin Kalina, Olga Nánásiová: Construction of joint distributions on MV-algebras via conditional distributions
Pavel Pták: Almost Boolean and almost Hilbertian quantum logics
Barnabás Bede: On approximation of fuzzy-number-valued functions

12:45-13:30 Lunch break

Afternoon session, 13:30-16:00, room 112 (Vyčichlova knihovna):

Mirko Navara: How to define measures on families of fuzzy sets
Marek Hyčko: Implications and equivalences in orthomodular lattices
14:30-15:00 Coffee break
Milan Petrík: Design of many-valued logical circuits
Thomas Vetterlein: Notes on product logic with involution

Participation is free for everybody. To register or to apply for a talk, send an e-mail to navaracmp.felk.cvut.cz. Registration is not necessary, but desirable for planning.

Official language: English

Link to the 1st Workshop "Mathematical Structures for Nonstandard Logics", December 2002

Organized by: Mirko Navara
Center for Machine Perception at the Department of Cybernetics and Department of Mathematics, Faculty of Electrical Engineering, Czech Technical University

Supported by the following projects:

Research Programme of the Czech Ministry of Education MSM 212300013 ``Decision Making and Control in Manufacturing",
Grant 201/02/1540 of the Grant Agency of the Czech Republic,
CEEPUS net SK-042.

Send questions and comments to: navaracmp.felk.cvut.cz