Lazy evaluations in Łukasiewicz type fuzzy logic

DOI10.1016/J.FSS.2018.11.014MaRDI QIDQ2329100zbMATH OpenOpenAlexFDO

Authors Benedek Nagy, Raed Basbous, Tibor Tajti

Publication date 17 October 2019

Published in Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.fss.2018.11.014

zbMATH Keywords

fast evaluationformula treesfuzzy logiclazy evaluationsmany valued logicnon-classical logicspruning algorithms

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Fuzzy logic; logic of vagueness (03B52) Analysis of algorithms (68W40)

Recommendations

• Application of Łukasiewicz logics to algorithm design
• A technique for doing lazy evaluation in logic
• scientific article; zbMATH DE number 549962
• Truth degree analysis of fuzzy logic systems
• Lazy Execution of Boolean Queries

Cites work

• Finiteness in infinite-valued Łukasiewicz logic
• Fuzzy logic -- a personal perspective
• Fuzzy logic or Lukasiewicz logic: A clarification
• Fuzzy sets and formal logics
• scientific article; zbMATH DE number 44058 (Why is no real title available?)
• scientific article; zbMATH DE number 3559512 (Why is no real title available?)
• scientific article; zbMATH DE number 909506 (Why is no real title available?)
• scientific article; zbMATH DE number 3335866 (Why is no real title available?)
• Many-valued logic and fuzzy set theory
• Many-valued logic and mixed integer programming
• Metamathematics of fuzzy logic
• Optimal strategy in games with chance nodes
• Satisfiability checking in Łukasiewicz logic as finite constraint satisfaction
• Satisfiability in many-valued sentential logic is NP-complete
• Solving disjunctive fuzzy answer set programs

Cited in

(3)

• Lazy Execution of Boolean Queries
• scientific article; zbMATH DE number 549962 (Why is no real title available?)
• Some results on the weak dominance relation between ordered weighted averaging operators and t-norms.

This page was built for publication: Lazy evaluations in Łukasiewicz type fuzzy logic

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