Publisher
Springer Science and Business Media LLC
Reference36 articles.
1. Aguzzoli S., Busaniche M., Marra V.: Spectral duality for finitely generated Nilpotent Minimum algebras, with applications. J. Log. Comput. 17(4), 749–765 (2007)doi: 10.1093/logcom/exm021
2. Aguzzoli S., Gerla B.: Probability measures in the logic of Nilpotent Minimum. Stud. Log. 94, 151–176 (2010)doi: 10.1007/s11225-010-9228-8
3. Aguzzoli, S., Gerla, B., Manara, C.: Poset representation for Gödel and Nilpotent minimum logics. In: Godo, L. (ed.) Symbolic and Quantitative Approaches to Reasoning with Uncertainty, Lecture Notes in Computer Science, vol. 3571, pp. 469–469. Springer, Berlin (2005). doi: 10.1007/10.1007/11518655_56
4. Baaz, M., Ciabattoni, A., Fermüller, C.G.: Monadic fragments of Gödel logics: decidability and undecidability results. In: Dershowitz, N., Voronkov, A. (eds). Logic for Programming, Artificial Intelligence, and Reasoning—14th International Conference, LPAR 2007, Yerevan, Armenia, October 15–19, 2007. Proceedings, Lecture Notes in Computer Science, vol. 4790/2007, pp. 77–91. Springer, Berlin (2007). doi: 10.1007/978-3-540-75560-9
5. Baaz, M., Ciabattoni, A., Preining, N.: SAT in Monadic Gödel logics: a borderline between decidability and undecidability. In: Ono, H., Kanazawa, M., de Queiroz, R. (eds). Logic, Language, Information and Computation, Lecture Notes in Computer Science, vol. 5514, pp. 113–123. Springer, Berlin (2009). doi: 10.1007/978-3-642-02261-6_10
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献