Abstract:
We connect Lukasiewicz logic, a well-established many-valued logic, with
weighted logics, recently introduced by Droste and Gastin. We use this connection
to show that for formal series with coefficients in semirings derived from MValgebras,
recognizability and definability in a fragment of second order Lukasiewicz
logic coincide.