Łukasiewicz Logic and Weighted Logics over MV-Semirings
Sibylle Schwarz · Universitätsbibliothek Gießen · 2007
We connect Łukasiewicz 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 power series with coefficients in semirings derived from standard MV-algebras, recognizability and definability in a fragment of second order Łukasiewicz logic coincide. This implies decidability properties for these fragments of Łukasiewicz logic.