Łukasiewicz logic and weighted logics over MV-semirings

DOI10.25596/JALC-2007-485MaRDI QIDQ3515224zbMATH OpenFDO

Authors Sibylle Schwarz

Publication date 29 July 2008

zbMATH Keywords

MV-algebrasweighted automataweighted logicŁukasiewicz logic

Mathematics Subject Classification ID

Many-valued logic (03B50) Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25) MV-algebras (06D35)

Recommendations

• scientific article; zbMATH DE number 2221683
• Derivations in Łukasiewicz semirings
• scientific article; zbMATH DE number 1088196
• Linear Logic and Lukasiewicz ℵ₀- Valued Logic: A Logico-Algebraic Study
• scientific article; zbMATH DE number 2070196

Cited in

(7)

• On injectivity of semimodules over additively idempotent division semirings and chain MV-semirings
• scientific article; zbMATH DE number 5670715 (Why is no real title available?)
• Definable transductions and weighted logics for texts
• Weighted automata and weighted logics
• Characterizations of Weighted First-Order Logics over Semirings
• The semiring-theoretic approach to MV-algebras: a survey
• Weighted Logics for Nested Words and Algebraic Formal Power Series

This page was built for publication: Łukasiewicz logic and weighted logics over MV-semirings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3515224)