Łukasiewicz Logic and Weighted Logics over MV-Semirings
| Autor: | Schwarz, Sibylle |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2007 |
| Předmět: | |
| DOI: | 10.25596/jalc-2007-485 |
| Popis: | 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. Journal of Automata, Languages and Combinatorics, Volume 12, Number 4, 2007, 485-499 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|