Finite automata with membership values in lattices and monadic second-order lattice-valued logic
From MaRDI portal
Publication:4980236
zbMATH Open1299.03046MaRDI QIDQ4980236FDOQ4980236
Authors: Yanhuan Fan, Yongming Li 
Publication date: 30 June 2014
Recommendations
- Finite automata with membership values in lattices and monadic second-order lattice-valued logic
- Finite automata theory with membership values in lattices
- Weighted automata and multi-valued logics over arbitrary bounded lattices
- scientific article; zbMATH DE number 2094809
- Regular grammars with truth values in lattice-ordered monoid and their languages
Formal languages and automata (68Q45) Fuzzy logic; logic of vagueness (03B52) Automata and formal grammars in connection with logical questions (03D05) Logical aspects of lattices and related structures (03G10)
Cited In (8)
- Homomorphism of finite states automata based on lattice-ordered monoids
- Title not available (Why is that?)
- Lattice Automata
- Finite automata theory with membership values in lattices
- Kleene and Büchi theorems for weighted automata and multi-valued logics over arbitrary bounded lattices
- Finite automata with membership values in lattices and monadic second-order lattice-valued logic
- Lattice-valued general orthomodular automata
- Weighted automata and multi-valued logics over arbitrary bounded lattices
This page was built for publication: Finite automata with membership values in lattices and monadic second-order lattice-valued logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4980236)
