Publication:3515224
From MaRDI portal
DOI10.25596/jalc-2007-485zbMath1144.03021MaRDI QIDQ3515224
Publication date: 29 July 2008
03D05: Automata and formal grammars in connection with logical questions
03B25: Decidability of theories and sets of sentences
06D35: MV-algebras
03B50: Many-valued logic
Related Items
Definable transductions and weighted logics for texts, The semiring-theoretic approach to MV-algebras: a survey, On injectivity of semimodules over additively idempotent division semirings and chain MV-semirings, Weighted Logics for Nested Words and Algebraic Formal Power Series