Subject
Artificial Intelligence,Information Systems and Management,Computer Science Applications,Theoretical Computer Science,Control and Systems Engineering,Software
Reference42 articles.
1. Varieties of BL-algebras. I. General properties;Agliano;J. Pure Appl. Algebra,2003
2. On countermodels in Basic Logic;Aguzzoli;Neural Netw. World,2002
3. Complexity issues in basic logic;Aguzzoli;Soft Comput.,2005
4. On the implementation of a fuzzy dl solver over infinite-valued product logic with smt solvers;Alsinet,2013
5. Building automated theorem provers for infinitely valued logics with satisfiability modulo theory solvers;Ansótegui,2013
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Foundations of reasoning with uncertainty via real-valued logics;Proceedings of the National Academy of Sciences;2024-05-16
2. Alloy Goes Fuzzy;Lecture Notes in Computer Science;2024
3. Projectivity and unification in substructural logics of generalized rotations;International Journal of Approximate Reasoning;2023-02
4. The MaxSAT Problem in the Real-Valued MV-Algebra;Lecture Notes in Computer Science;2023
5. Free Product Hoops;Fuzzy Logic and Technology, and Aggregation Operators;2023