Łukasiewicz logic and weighted logics over MV-semirings

DOI10.25596/JALC-2007-485zbMATH Open1144.03021MaRDI QIDQ3515224FDOQ3515224

Authors: Sibylle Schwarz 

Publication date: 29 July 2008

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

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)

Cited In (7)

• On injectivity of semimodules over additively idempotent division semirings and chain MV-semirings
• Title not available (Why is that?)
• 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)