Lukasiewicz Logics and Weighted Logics over MV-Semirings

Show simple item record Schwarz, S en 2009-04-16T23:16:21Z en 2009-04-16T23:16:21Z en 2006-05 en
dc.identifier.citation CDMTCS Research Reports CDMTCS-278 (2006) en
dc.identifier.issn 1178-3540 en
dc.identifier.uri en
dc.description.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. en
dc.publisher Department of Computer Science, The University of Auckland, New Zealand en
dc.relation.ispartofseries CDMTCS Research Report Series en
dc.rights.uri en
dc.source.uri en
dc.title Lukasiewicz Logics and Weighted Logics over MV-Semirings en
dc.type Technical Report en
dc.subject.marsden Fields of Research::280000 Information, Computing and Communication Sciences en
dc.rights.holder The author(s) en
dc.rights.accessrights en

Files in this item

Find Full text

This item appears in the following Collection(s)

Show simple item record


Search ResearchSpace