Program

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

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

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

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

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

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