Solution of some problems in the arithmetical complexity of first-order fuzzy logics
F\'elix Bou, Carles Noguera
TL;DR
This paper resolves open problems in the arithmetical complexity of first-order fuzzy logics and clarifies the role of the full vocabulary in related proofs.
Contribution
It provides solutions to previously open problems and clarifies the impact of including functional symbols in the vocabulary.
Findings
Solved two open problems in arithmetical complexity
Clarified the role of full vocabulary in proofs
Enhanced understanding of first-order fuzzy logics
Abstract
This short paper addresses the open problems left in a previous paper by Franco Montagna and Carles Noguera. Besides giving solutions to these two problems, some clarification concerning the role of the full vocabulary (including functional symbols) in the proofs there given is also discussed.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsFuzzy Logic and Control Systems · Advanced Algebra and Logic · Advanced Computational Techniques in Science and Engineering