Fuzzy Logic
Tomasz Kowalski (RSISE)
NICTA LC SEMINAR Logic LunchDATE: 2006-09-19
TIME: 12:30:00 - 13:30:00
LOCATION: Video Conference Room (A207), RSISE (Building 115)
CONTACT: JavaScript must be enabled to display this email address.
ABSTRACT:
Fuzzy logic, or rather fuzzy logics, will be viewed from dual perspective: substructural and algebraic. The talk will go (fuzzily) as follows:
* continuous t-norms and their residuals as source of fuzzy logics
o Hilbert-style axiomatisations of BL (basic fuzzy logic) and its four important extensions
* algebraisation of a logic = strong completeness w.r.t a class of algebras
o algebraic rendering of structural rules
* fuzzy logics as substructural logics
o algebras for substructural logics, generalities and some (two?) examples
o Halden completeness (a weak form of relevance): some positive results
o closure under completions (a weak form of canonicity): some negative ones
Based on T.K, H. Ono "Fuzzy logics from substructural perspective" and T.K., T. Litak "Completions of GBL-algebras and acyclic modal algebras: negative results".
BIO:
