A new proof of standard completeness for the uninorm logic UL

키워드

참고문헌 (23)

1. Bisrarelli, S., "Bipolar preference problems", Frontiers in Artificial Intelligence and Applications, 141, pp.705~706 (2006), IOS Press
2. Cintula, P., "Weakly Implicative (Fuzzy) Logics I: Basic properties", Archive for Mathematical Logic, pp.673~704 (2006)
3. Detyniecki, M., "Fundamentals on Aggregation Operators, Asturias", ~ (2001)
4. Dunn, J. M., "Partiality and its Dual", Studia Logica, 66, pp.5~40 (2000)
5. Esteva, F., "Monoidal t-norm based logic: towards a logic for left-continous t-norms", Fuzzy Sets and Systems, 124, pp.271~288 (2001)
6. Esteva, F., "On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic", Studia Logica, 71, pp.393~420 (2002)
7. Fordor, J. C., "Structure of uninorms", International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 6, pp.411~427 (1997)
8. Galatos, N., "Residuated lattices: an algebraic glimpse at substructural logics" (2007), Elsevier
9. Galatos, N., "Cut elimination and strong separation for substructural logics", Annals of Pure and Applied Logic
10. Gottwald, S., "A Treatise on Many-valued Logics" (2001), Research studies press LTD.
11. Hájek, P., "Metamathematics of Fuzzy Logic" (1998), Kluwer
12. Jenei, S., "A Proof of Standard completeness for Esteva and Godo's Logic MTL", Studia Logica, 70, pp.183~192 (2002)
13. Li, Y., "Remarks on uninorm aggregation operators", Fuzzy Sets and Systems, 114, pp.377~380 (2000)
14. Metcalfe, G., "Uninorm Based Logics", Proceedings of EUROFUSE, 2004, pp.85~99 (2004), Exit Press
15. Metcalfe, G., "Substructural Fuzzy Logics", Journal of Symbolic Logic, 72, pp.834~864 (2007)
16. Novak, V., "On the syntactico-semantical completeness of first-order fuzzy logic I, II", Kybernetika, 26, pp.47~66 (1990)
17. Rudas, I., "Information aggregation in intelligent systems using generalized operators", International Journal of Computers, Communications and Control, 1, pp.47~57 (2006)
18. Tsinakis, C., "The structure of residuated lattices", International Journal of Algebra and Computation, 13, pp.437~461 (2003)
19. Yager, R. R., "Full reinforcement operators in aggregation techniques", IEEE Transactions on Systems, Man and Cybernetics, 28, pp.757~769 (1998)
20. Yager, R. R., "Uninorms in fuzzy systems modeling", Fuzzy Sets and Systems, 122, pp.167~175 (2001)
21. Yager, R. R., "Uninorm aggregation operators", Fuzzy Sets and Systems, 80, pp.111~120 (1996)
22. 양은석, "On the Standard Completeness of an Axiomatic Extension of the Uninorm Logic", 논리연구, 12(2), pp.115~139 (2009), 한국논리학회
23. Yang, E., "(Star-based) four-valued Kripke-style Semantics for some neighbors of E, R, T", Logique et Analyse, 207, pp.255~280 (2009)

관련 논문AI추천