Standard completeness results for some neighbors of R-mingle
0
조회
0
다운로드
1
인용
0
참고문헌
키워드
초록
In this paper we deal with new standard completeness proofs of some systems introduced by Metcalfe and Montagna in [10]. For this, this paper investigates several fuzzy-relevance logics, which can be regarded as neighbors of the R of Relevance with mingle (RM). First, the monoidal uninorm idempotence logic MUIL, which is intended to cope with the tautologies of left-continuous conjunctive idempotent uninorms and their residua, and some schematic extensions of it are introduced as neighbors of RM. The algebraic structures corresponding to them are defined, and standard completeness, completeness on the real unit interval [0, 1], results for them are provided.
Abstract
In this paper we deal with new standard completeness proofs of some systems introduced by Metcalfe and Montagna in [10]. For this, this paper investigates several fuzzy-relevance logics, which can be regarded as neighbors of the R of Relevance with mingle (RM). First, the monoidal uninorm idempotence logic MUIL, which is intended to cope with the tautologies of left-continuous conjunctive idempotent uninorms and their residua, and some schematic extensions of it are introduced as neighbors of RM. The algebraic structures corresponding to them are defined, and standard completeness, completeness on the real unit interval [0, 1], results for them are provided.
참고문헌 (12)
- Cintula, P., "Weakly Implicative (Fuzzy) Logics I: Basic properties" (2006), Archive for Mathematical Logic
- Esteva, F., "Monoidal t-norm based logic: towards a logic for left-continous t-norms", Fuzzy Sets and Systems, 124, pp.271~288 (2001)
- Esteva, F., "Residuated fuzzy logics with an involutive logics", Archive for Mathematical Logic, 39, pp.103~124 (2000)
- Gottwald, S., "A Treatise on Many-valued Logics" (2001), Research studies press LTD
- H?ek, P., "Metamathematics of Fuzzy Logic" (1998), Kluwer
- Hajek, P., "Basic fuzzy logic and BL-algebras", Soft computing, 2, pp.124~128 (1998)
- Hohle, U., "Commutative, residuated l-monoids, Non-Classical Logics and Their Applications to Fuzzy Subsets", pp.53~106 (1995), Kluwer
- Meyer, R. K., "Completeness of relevant quantification theories", Notre Dame Journal of Formal Logic, 15, pp.97~121 (1976)
- Jenei, S., "A Proof of Standard completeness for Esteva and Godo's Logic MTL", Studia Logica, 70, pp.183~192 (2002)
- Metcalfe, G., "Substructural Fuzzy Logics", Journal of Symbolic Logic, 72, pp.834~864 (2007)
- Yang, E., "(weak) R-mingle: toward a fuzzy-relevance logic", Korean Journal of Logic, 10(2), pp.125~146 (2007)
- Yang, E., "Uninorm logic: toward a fuzzy-relevance logic(2)", Korean Journal of Logic, 11(1), pp.131~156 (2008)