Home
Program
| 09:00 am |
Opening |
| 09:15 am |
U. Höhle, T. Kubiak: Topologies on quantale sets and topological representations of spectra of C*-algebras |
| 10:00 am |
J. Gutiérrez García, T. Kubiak, J. Picado: Localic real-valued functions: a general setting |
| 10:45 am |
Coffee break |
| 11:15 am |
J. Harding, C. Walker, E. Walker: On some topological properties of the subalgebra of normal convex functions of the algebra of truth values of type-2 fuzzy sets |
| 12:00 pm | S.E. Rodabaugh: Functorial generation of non-stratified, anti-stratified, and normalized spaces |
| 12:45 pm | Lunch |
| 02:30 pm |
N.N. Morsi: Categories of fuzzy topological spaces with localization at points |
| 03:30 pm | Coffee break |
| 04:00 pm |
M. Demirci: Pointed semi-quantales and generalized lattice-valued quasi topological spaces |
| 04:30 pm |
S. Solovjovs: From quantale algebroids to topological spaces |
| 05:00 pm |
P. Kukkurainen: Semilinear space and a compact T1-space SpecA |
| 05:30 pm |
P. Eklund, J. Kortelainen: What is fuzzification about? |
| 07:00 pm |
Meeting of the PC-Members at Trattoria Einstein |
| 09:00 am |
J. Fang, Y. Yue: L-fuzzy closure systems |
| 09:30 am |
J. Gutiérrez García, I. Mardones-Pérez, J. Picado, M.A. de Prada Vicente: Uniform-type structures on lattice-valued spaces and frames |
| 10:00 am |
U. Höhle, T. Kubiak: Lower separation axioms for many valued topological spaces |
| 10:30 am |
Coffee break |
| 11:00 am |
M. Gehrke: Topological duality methods for lattice ordered algebras |
| 12:00 pm |
L. Běhounek, T. Kroupa: Continuous relations over topological spaces in Fuzzy Class Theory |
| 12:30 pm | Lunch |
| 02:30 pm |
Round Table: Topology |
| 03:30 pm |
Coffee break |
| 04:00 pm |
J. Järvinen, M. Kondo, J. Mattila: Many-valued logic for modifiers of fuzzy sets |
| 04:30 pm |
M. Ćirić, J. Ignjatović: Algebraic theory of lattice-valued fuzzy languages and automata |
| 05:00 pm |
P. Toto, M.E. Maietti, G. Sambin: Towards the development of The Basic Picture on sets evaluated over an overlap algebra |
| 09:00 am |
S.J. Vickers: Fuzzy sets and geometric logic |
| 10:00 am |
D. Iourinski: A Dempster-Shafer theory inspired logic |
| 10:30 am |
Coffee break |
| 11:00 am |
V. Novák: Revised axioms of EQ-algebras |
| 11:30 am |
I. Perfilieva: Semilinear spaces, systems of linear-like equations, fixed points of contraction and dilatation operators |
| 12:00 pm |
Lunch |
| 01:30 pm |
Beginning of the Social Program: Excursion to Bad Ischl and Traunkirchen |
| 09:00 am |
R.P. Gylys: Conditional probabilities on MV-algebras |
| 10:00 am |
C. Walker, E. Walker: Automorphisms of subalgebras of the algebra of truth values of type-2 fuzzy sets |
| 10:30 am |
Coffee break |
| 11:00 am |
L. Běhounek, U. Bodenhofer, P. Cintula, S. Saminger-Platz: Graded dominance |
| 11:45 am |
S. Saminger-Platz, E.P. Klement, R. Mesiar: Bounded lattices, complete sublattices, and extensions of t-norms |
| 12:30 pm |
Lunch |
| 02:30 pm |
D. Zhang: Implication structures, fuzzy subsets, and enriched categories |
| 03:30 pm |
Coffee break |
| 04:00 pm |
L.N. Stout: When does a category built on a lattice with a monoidal structure have a monoidal structure? |
| 04:30 pm |
C. Guido: Lattice-valued categories |
| 05:00 pm |
Round Table: Algebra, Categories, Logic, Order |
| 09:00 am |
A. Melton: Correspondences |
| 09:30 am |
E. Orłowska, I. Rewitzky: Discrete duality and its application to bounded lattices with operators |
| 10:00 am |
R. Horčík: Interval analysis done in Fuzzy Class Theory |
| 10:30 am |
Coffee break |
| 11:00 am |
S. Weber: A complete characterization of all weakly additive measures and of all valuations on the canonical extension of any finite chain equipped with its unique MV-algebra structure |
| 11:30 am |
Round Table: Ordered and general structures |
| 12:30 pm |
Closing |
| 12:45 pm |
Lunch |