Effectiveness and multivalued logics

DOI10.2178/JSL/1140641166MaRDI QIDQ5477627zbMATH OpenOpenAlexWikidataFDO

Authors 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

computabilitydecidabilitydomain theoryfuzzy logicmany-valued logic

Mathematics Subject Classification ID

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

Recommendations

• Multi-valued Logics, Effectiveness and Domains
• scientific article; zbMATH DE number 1269582
• Many-valued logics
• scientific article; zbMATH DE number 560935
• scientific article; zbMATH DE number 1749199
• Many-valued logics
• scientific article; zbMATH DE number 3995643
• Logique, effectivité et faisabilité
• Many-valued logics -- implications and semantic consequences
• scientific article; zbMATH DE number 35414

Cites work

• Algebraic foundations of many-valued reasoning
• Decidability, partial decidability and sharpness relation for L-subsets
• Decidability, Recursive Enumerability and Kleene Hierarchy ForL-Subsets
• Effectively given domains
• Fuzzy logic, continuity and effectiveness
• Fuzzy logic. Mathematical tools for approximate reasoning
• Fuzzy Models of First Order Languages
• scientific article; zbMATH DE number 3560492 (Why is no real title available?)
• scientific article; zbMATH DE number 1354791 (Why is no real title available?)
• Inferences in probability logic
• Metamathematics of fuzzy logic
• On Fuzzy Logic I Many‐valued rules of inference
• Probability-like functionals and fuzzy logic
• Three complexity problems in quantified fuzzy logic

Cited in

(11)

• Fuzzy Turing machines: normal form and limitative theorems
• Pavelka-style fuzzy logic in retrospect and prospect
• Bilattices for deductions in multi-valued logic
• Meta-logic programming for a synonymy logic
• Comments on some theories of fuzzy computation
• Modelling inexact utility theory in a multi-valued logic of approximation
• Vagueness and formal fuzzy logic: some criticisms
• Closure properties for fuzzy recursively enumerable languages and fuzzy recursive languages
• Multi-valued Logics, Effectiveness and Domains
• Automata theory based on complete residuated lattice-valued logic: Turing machines
• On the computing power of fuzzy Turing machines

This page was built for publication: Effectiveness and multivalued logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5477627)