Uniform description of calculi for all t-norm logics
Publisher
IEEE Comput. Soc
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Proof search in Hájek's basic logic;ACM Transactions on Computational Logic;2008-06
2. An asymptotically tight bound on countermodels for Łukasiewicz logic;International Journal of Approximate Reasoning;2006-09
3. Uniform Rules and Dialogue Games for Fuzzy Logics;Logic for Programming, Artificial Intelligence, and Reasoning;2005