Tuesday,
February 18, 2014 |
09:00 am |
S. AGUZZOLI: Duality semantics for many-valued logics
based logics |
10:00 am |
P. CINTULA, G. METCALFE:
Skolem and Herbrand theorems for uninorm-based fuzzy logics
|
10:30 am |
Coffee Break |
11:00 am |
P. BALDI, A. CIABATTONI, K. TERUI, R. HORČÍK: Standard completeness: proof-theoretical and algebraic approaches |
11:30 am |
L. BĚHOUNEK:
A ground many-valued type theory and its extensions |
12:00 pm |
L. M. L. DALLA CHIARA, R. GIUNTINI, R. LEPORINI, G. SERGIOLI:
An approach to first-order quantum computational semantics |
12:30 pm |
Lunch |
02:30 pm |
G. KERN-ISBERNER: Multiple iterated belief revision for ranking functions |
03:30 pm |
C. EICHHORN, M. FEY, G. KERN-ISBERNER: CP- and OCF-networks - a comparison |
04:00 pm |
Coffee Break |
04:30 pm |
C. EICHHORN, G. KERN-ISBERNER:
Inductive generation of OCF-LEG networks using System Z |
05:00 pm |
J. DOMBI, O. CSISZÁR: Nilpotent operator systems |
05:30 pm |
E. P. KLEMENT, A. KOLESÁROVÁ, R. MESIAR, S. SAMINGER-PLATZ: A functional equation involving (quasi-)copulas and their duals |
|
Wednesday,
February 19, 2014 |
09:00 am |
D. DUBOIS, H. PRADE:
Toward a unified view of logics of incomplete and conflicting information |
10:00 am |
M. BLONDEEL, T. FLAMINIO, S. SCHOCKAERT, LL. GODO, M. DE COCK: On a graded version of ″only knowing″ and its relation to fuzzy autoepistemic logic and fuzzy modal logics |
10:30 am |
Coffee Break |
11:00 am |
B. TEHEUX: Goldblatt-Thomason Theorem for Łukasiewicz finitely-valued modal language |
11:30 am |
A. VIDAL, F. ESTEVA, LL. GODO:
A product modal logic |
12:00 am |
S. DUTTA:
Logics of graded consequence and a connection with decision support system |
12:30 pm |
Lunch |
02:30 pm |
A. ZAMANSKY, O. ARIELI, K. STEFANIDIS: Inconsistency management based on relevance degrees |
03:30 pm |
I. PERFILIEVA: Similarity-based reasoning and interpolating fuzzy function |
04:00 pm |
Coffee Break |
04:30 pm |
P. EKLUND, U. HÖHLE, J. KORTELAINEN: Term monad in monoidal biclosed categories
|
05:00 pm |
P. EKLUND, U. HÖHLE, J. KORTELAINEN: The fundamentals of lative logic
|
05:30 pm |
J. T. DENNISTON, A. MELTON, S. E. RODABAUGH: Lattice-valued institutions |
|
Thursday,
February 20, 2014 |
09:00 am |
I. LEUŞTEAN: Probabilities in Lukasiewicz logic |
10:00 am |
J. PASEKA:
Tense operators on Q-effect algebras |
10:30 am |
Coffee Break |
11:00 am |
M. PETRÍK, T. VETTERLEIN:
Finite negative commutative tomonoids and the level-set approach |
11:30 am |
M. HOLČAPEK: Graded equipollence: a functional approach to cardinality of finite fuzzy sets |
12:00 pm |
Lunch |
01:00 pm |
Excursion to Bad Ischl and Traunkirchen (Conference Dinner) |
|
Friday,
February 21, 2014 |
09:00 am |
R. PEÑALOZA: Automata-based reasoning in Fuzzy Description Logics |
10:00 am |
V. NOVÁK: On the roots of fuzzy logic with evaluated syntax |
10:30 am |
Coffee Break |
11:00 am |
R. BĚLOHLÁVEK, J. KONEČNÝ: Reduction in formal fuzzy contexts |
11:30 am |
L. D'EER, N. VERBIEST, C. CORNELIS, LL. GODO: A fuzzy rough set model based on implicators and conjunctors |
12:00 pm |
M. WINTER: Categories of relations for variable-basis fuzziness |
12:30 pm |
Lunch |
02:30 pm |
I. STUBBE: Partial metric spaces as enriched categories |
03:00 pm |
O. CARAMELLO, A. C. RUSSO: The Morita-equivalence between MV-algebras and abelian ℓ-groups with strong unit |
03:30 pm |
H. HOSNI:
Rethinking uncertainty: some key questions |
04:00 pm |
Coffee Break |
04:30 pm |
ROUND TABLE |
|
Saturday,
February 22, 2014 |
09:00 am |
S. GOTTWALD: Local finiteness in t-norm bimonoids: overlap cases |
09:30 am |
E. PAP, Ð. OBRADOVIĆ, Z. KONJOVIĆ: Fuzzy plane geometry modeled by linear fuzzy space and applications |
10:00 am |
S. SOLOVJOVS, M. STEHLÍK: Lattice-valued bornological systems or probabilistic modelling of cancer research? |
10:30 am |
Coffee Break |
11:00 am |
A. DVOŘÁK, M. HOLČAPEK: Fuzzy quantifiers of type 〈1,1〉 determined by fuzzy measures and integrals - recent results |
11:30 am |
R. MADARÁSZ, I. BOŠNJAK: On fuzzy power algebras and compatible fuzzy relations |
12:00 pm |
Lunch |
|