Workshop "Mathematical Structures for Non-standard Logics"

December 10-11, 2009

List of participants

Chovanec Ferdinand (Armed Forces Academy, Liptovsky Mikulas - Slovak Republic; ferdinand.chovanecaos.sk)
Diaconescu Denisa (University of Bucharest - Romania; ddenisucayahoo.com)
Dohnal Gejza (Czech Technical University in Prague - Czech Republic; dohnalnipax.cz)
Drobná Eva (Armed Forces Academy, Liptovsky Mikulas - Slovak Republic; eva.drobnaaos.sk)
Frič Roman (Slovak Academy of Sciences, Kosice/Catholic University in Ruzomberok - Slovak Republic; fricovanetkosice.sk)
Gabriëls Jeannine (Ulm - Germany; nine.gabrielsgmx.de)
Hájek Petr (Academy of Sciences - Czech Republic; Hajekcs.cas.cz)
Helisová Kateřina (Czech Technical University in Prague - Czech Republic; helisovamath.feld.cvut.cz)
Horčík Rostislav (Czech Technical University in Prague/Academy of Sciences - Czech Republic; horcikcs.cas.cz)
Katrnoška František (Czech Republic; tel. +420321785094)
Kroupa Tomáš (Czech Technical University in Prague/Academy of Sciences - Czech Republic; kroupautia.cas.cz)
Matoušek Milan (Czech Republic; matmilanemail.cz)
Muresan Claudia (University of Bucharest - Romania; c.muresanyahoo.com)
Navara Mirko (Czech Technical University in Prague - Czech Republic; navaracmp.felk.cvut.cz)
Paseka Jan (Masaryk University in Brno - Czech Republic; pasekamath.muni.cz)
Pavliš Radek (Czech Republic; radek.pavlisgenerali.cz)
Petrík Milan (Academy of Sciences - Czech Republic; petrikcs.cas.cz)
Pták Pavel (Czech Technical University in Prague - Czech Republic; ptakmath.feld.cvut.cz)
Sarkoci Peter (Slovak University of Technology - Slovak Republic; sarkocimath.sk)

Preliminary programme

Thursday, December 10, 2009

13:00-13:30 Hájek Petr (abstract): An MV-algebra for vagueness
13:30-14:00 Diaconescu Denisa (abstract): On the forcing semantics for MTL logic
14:00-14:30 Muresan Claudia (abstract): Co-Stone Residuated Lattices

15:00-15:30 Helisová Kateřina (abstract): MCMC simulation of a random set
15:30-16:00 Frič Roman (abstract): Notes on fuzzy random variables

16:30-17:00 Petrík Milan and Sarkoci Peter (abstract): Web-geometric approach to models of fuzzy logic
17:00-17:30 Navara Mirko (abstract): Several approaches to conditional probability

Friday, December 11, 2009

13:00-13:30 Paseka Jan (abstract): Non-orthomodular lattice effect algebras possessing state
13:30-14:00 Chovanec Ferdinand (abstract): Graphical Representation of MV-algebra pastings
14:00-14:30 Drobná Eva (abstract): Independence in D-posets

15:00-15:30 Kroupa Tomáš (abstract): Games, states, and ordered algebraic structures
15:30-16:00 Pták Pavel (abstract): Abstract symmetric difference
16:00-16:30 Matoušek Milan (abstract): Orthocomplemented lattices with a symmetric difference