共 50 条
- [21] Consequence and complexity in infinite-valued logic: a survey ISMVL 2002: 32ND IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS, 2002, : 104 - 114
- [22] Finite Satisfiability in Infinite-Valued Lukasiewicz Logic SCALABLE UNCERTAINTY MANAGEMENT, PROCEEDINGS, 2009, 5785 : 240 - +
- [23] An Infinite-Valued Grounded Labelling for Abstract Argumentation Frameworks 33RD ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, 2018, : 903 - 910
- [26] On the infinite-valued Łukasiewicz logic that preserves degrees of truth Archive for Mathematical Logic, 2006, 45 : 839 - 868
- [29] Resolution and model building in the infinite-valued calculus of Lukasiewicz Theor Comput Sci, 1-2 (335-366):