Effectiveness and multivalued logics

DOI10.2178/jsl/1140641166zbMath1106.03018OpenAlexW2103972619WikidataQ56083680 ScholiaQ56083680MaRDI QIDQ5477627

Giangiacomo Gerla

Publication date: 5 July 2006

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2178/jsl/1140641166

zbMATH Keywords

fuzzy logicdecidabilitymany-valued logiccomputabilitydomain theory

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Decidability of theories and sets of sentences (03B25) Continuous lattices and posets, applications (06B35) Many-valued logic (03B50) Theory of numerations, effectively presented structures (03D45)

Related Items (9)

On the computing power of fuzzy Turing machines ⋮ Meta-logic programming for a synonymy logic ⋮ Vagueness and Formal Fuzzy Logic: Some Criticisms ⋮ Fuzzy Turing machines: normal form and limitative theorems ⋮ Automata theory based on complete residuated lattice-valued logic: Turing machines ⋮ Pavelka-style fuzzy logic in retrospect and prospect ⋮ Comments on some theories of fuzzy computation ⋮ Bilattices for deductions in multi-valued logic ⋮ Closure properties for fuzzy recursively enumerable languages and fuzzy recursive languages

Cites Work

• Unnamed Item
• Unnamed Item
• Decidability, partial decidability and sharpness relation for L-subsets
• Effectively given domains
• Metamathematics of fuzzy logic
• Inferences in probability logic
• Probability-like functionals and fuzzy logic
• Fuzzy logic, continuity and effectiveness
• Algebraic foundations of many-valued reasoning
• Fuzzy Models of First Order Languages
• Decidability, Recursive Enumerability and Kleene Hierarchy ForL-Subsets
• On Fuzzy Logic I Many‐valued rules of inference
• Fuzzy logic. Mathematical tools for approximate reasoning
• Three complexity problems in quantified fuzzy logic

This page was built for publication: Effectiveness and multivalued logics