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

MaRDI QIDQ2992583zbMATH OpenFDO

Authors Yanhuan Fan, Sheng-Ling Geng, Yongming Li

Publication date 10 August 2016

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)

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

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)