Non-associative fuzzy-relevance logics: strong t-associative monoidal uninorm logics
0
조회
0
다운로드
4
인용
0
참고문헌
키워드
초록
This paper investigates generalizations of weakening-free uninorm logics not assuming associativity of intensional conjunction (so called fusion) &, as non-associative fuzzy-relevance logics. First, the strong t-associative monoidal uninorm logic StAMUL and its schematic extensions are introduced as non-associative propositional fuzzy-relevance logics. (Non-associativity here means that, differently from classical logic, & is no longer associative.) Then the algebraic structures corresponding to the systems are defined, and algebraic completeness results for them are provided. Next, predicate calculi corresponding to the propositional systems introduced here are considered.
Abstract
This paper investigates generalizations of weakening-free uninorm logics not assuming associativity of intensional conjunction (so called fusion) &, as non-associative fuzzy-relevance logics. First, the strong t-associative monoidal uninorm logic StAMUL and its schematic extensions are introduced as non-associative propositional fuzzy-relevance logics. (Non-associativity here means that, differently from classical logic, & is no longer associative.) Then the algebraic structures corresponding to the systems are defined, and algebraic completeness results for them are provided. Next, predicate calculi corresponding to the propositional systems introduced here are considered.
참고문헌 (27)
- Anderson, A. R., "The pure calculus of entailment", Journal of symbolic Logic, 27, pp.19~52 (1962)
- Burrell, B. D., "Non-associative learning and serotonin induce similar bidirectional changes in excitability of a neuron critical for learning in the medicinal leech", The Journal of Neuroscience, 15, pp.1401~1412 (2001)
- Buszkowski, W., "Generative power of non-associative Lambek calculus", Bulletin of the Polish Academy of Sciences, 34, pp.507~516 (1986)
- Chajda, I., "A non-associative generalizations of MV-algebras", International Conference on the Algebraic and Logical Foundations of Many-valued Reasoning in honor of Daniele Mundici on the occasion of his 60th birthday (2006), Palazzo Feltrinelli
- Cintula, P., "Weakly Implicative (Fuzzy) Logics I: Basic properties" (2006), Archive for Mathematical Logic
- De Groote, P., "Classical non-associative Lambek calculus", Studia Logica, 71, pp.355~388 (2002)
- Dunn, J. M., "Algebraic Completeness for R-Mingle and Its Extension", Journal of symbolic Logic, 35, pp.1~13 (1970)
- Dzhunushaliev, V., "A non-associative quantum mechanics", Foundations of Physics Letters, 19, pp.157~167 (2006)
- Dzhunushaliev, V., "Toy models of a non-associative quantum mechanics", Advances in High Energy Physics, 10~ (2007)
- 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)
- Goodman, I. R., "An even more realistic (non-associative) logic and its relation to phychology of human reasoning", IFSA World Congress and 20th NAFIPS International Conference, Joint 9th (2001)
- Goodman, I. R., "A realistic (non-associative) logic and a possible explanations of 7 ± 2 law", International Journal of Approximate Reasoning, 29, pp.235~266 (2002)
- Hájek, P., "Metamathematics of Fuzzy Logic" (1998), Kluwer
- Kanduslki, M., "The equivalence of nonassociative Lambek categorical grammars and context-free grammars", Zeitschrift für mathematische Logik und Grundlagen der Mathematik, 34, pp.103~114 (1988)
- Kleinknecht, R. A., "Comments on: non-associative fear acquisition: a review of the evidence from retrospective and longitudinal research", Behaviour Research and Therapy, 40, pp.159~163 (2002)
- Meyer, R. K., "Completeness of relevant quantification theories", Notre Dame Journal of Formal Logic, 15, pp.97~121 (1976)
- Metcalfe, G., "Uninorm Based Logics", Proceedings of EUROFUSE, 2004, pp.85~99 (2004), Exit Press
- Metcalfe, G., "Substructural Fuzzy Logics", Journal of Symbolic Logic, 72, pp.834~864 (2007)
- Mootgat, M., "Proof nets for the grammatical base logic", Proceedings of the IV Roma Workshop, 1997 (1999), Cooperativa Librativa Universitaria Editrice Bologna
- Szczerba, M., "Representation theorems for residuated groupoids", Proceedings of LACL96, 통권 : 1328, Springer Lecture notes in Artificial Intelligence
- Yager, R. R., "Aggregation operators and fuzzy systems modeling", Fuzzy Sets and Systems, 67, pp.129~146 (1994)
- Yager, R. R., "On inference structures for fuzzy systems modeling", Proceedings of 3rd IEEE International Conference on Fuzzy Systems, pp.1252~1256 (1994)
- Yager, R. R., "Uninorm aggregation operators", Fuzzy Sets and Systems, 80, pp.111~120 (1996)
- 양은석, "(weak) R-mingle: toward a fuzzy-relevance logic", 논리연구, 10(2), pp.125~146 (2007), 한국논리학회
- EUNSUK YANG, "Uninorm logic: toward a fuzzy-relevance logic(2)", 논리연구, 11(1), pp.131~156 (2008), 한국논리학회
- Yang, E., "Remarks on (binary) MICA operators", manuscript