Finite automata with membership values in lattices and monadic second-order lattice-valued logic

zbMATH Open1349.03015MaRDI QIDQ2992583FDOQ2992583

Authors: Yanhuan Fan, Sheng-Ling Geng, Yongming Li 

Publication date: 10 August 2016

Recommendations

• Finite automata with membership values in lattices and monadic second-order lattice-valued logic
• Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids
• scientific article; zbMATH DE number 6401756
• Finite automata theory with membership values in lattices
• The relationships among several types of fuzzy automata

zbMATH Keywords

monadic second-order logicfuzzy finite automatabounded transitive closure

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Fuzzy logic; logic of vagueness (03B52) Automata and formal grammars in connection with logical questions (03D05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cited In (6)

• Homomorphism of finite states automata based on lattice-ordered monoids
• MK-fuzzy automata and MSO logics
• McCarthy-Kleene fuzzy automata and MSO logics
• Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids
• Finite automata with membership values in lattices and monadic second-order lattice-valued logic
• Lattice-valued general orthomodular automata

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 Q2992583)