Standard Completeness for the Weak Uninorm Mingle Logic WUML
0
조회
0
다운로드
1
인용
0
참고문헌
키워드
초록
Fixed-point conjunctive left-continuous idempotent uninorms have been introduced (see e.g. [2, 3]). This paper studies a system for such uninorms. More exactly, one system obtainable from IUML (Involutive uninorm mingle logic) by dropping involution (INV), called here WUML (Weak Uninorm Mingle Logic), is first introduced. This is the system of fixed-point conjunctive left-continuous idempotent uninorms and their residua with weak negation. Algebraic structures corresponding to the system, i.e., WUML-algebras, are then defined, and algebraic completeness is provided for the system. Standard completeness is further established for WUML and IUML in an analogy to that of WNM (Weak nilpotent minimum logic) and NM (Nilpotent minimum logic) in [4].
Abstract
Fixed-point conjunctive left-continuous idempotent uninorms have been introduced (see e.g. [2, 3]). This paper studies a system for such uninorms. More exactly, one system obtainable from IUML (Involutive uninorm mingle logic) by dropping involution (INV), called here WUML (Weak Uninorm Mingle Logic), is first introduced. This is the system of fixed-point conjunctive left-continuous idempotent uninorms and their residua with weak negation. Algebraic structures corresponding to the system, i.e., WUML-algebras, are then defined, and algebraic completeness is provided for the system. Standard completeness is further established for WUML and IUML in an analogy to that of WNM (Weak nilpotent minimum logic) and NM (Nilpotent minimum logic) in [4].
참고문헌 (10)
- Cintula, P., "Weakly Implicative (Fuzzy) Logics I: Basic properties", pp.673~704 (2006), Archive for Mathematical Logic
- De Baets, B., "Idempotent uninorms", European Journal of Operational Research, 118, pp.631~642 (1999)
- De Baets, B., "Residual operators of uninorms", Soft Computing, 3, pp.89~100 (1999)
- Esteva, F., "Monoidal t-norm based logic: towards a logic for left-continous t-norms", Fuzzy Sets and Systems, 124, pp.271~288 (2001)
- Galatos, N., "Residuated lattices: an algebraic glimpse at substructural logics" (2007), Elsevier
- Hájek, P., "Metamathematics of Fuzzy Logic" (1998), Kluwer
- Klement, E. P., "Triangular Norms" (2000), Kluwer
- Metcalfe, G, "Substructural Fuzzy Logics", Journal of Symbolic Logic, 72, pp.834~864 (2007)
- Meyer, R. K., "Completeness of relevant quantification theories", Notre Dame Journal of Formal Logic, 15, pp.97~121 (1976)
- Tsinakis, C., "The structure of residuated lattices", International Journal of Algebra and Computation, 13, pp.437~461 (2003)