Invitation to the Logic Seminar at the National University of Singapore
Date: Wednesday, 21 February 2018, 17:00 hrs
Room: S17#04-06, Department of Mathematics, NUS
Speaker: Sibylle Schwarz
Title: Many-valued logic, Automata and Languages.
In 1960, Buechi, Elgot, Trakhtenbrot discovered a correspondence
between finite automata and monadic second order logic on words:
A language of nonempty words is regular if and only if it is
MSO-definable. Many-valued logics with truth values from MV-algebras
and weighted automata with weights from semirings are generalizations
of classical two-valued logics and finite automata, respectively.
In this talk, I give some examples of corresponding MV-algebras
and semirings and present translations between many-valued
MSO-formulae and weighted automata that define the same language.