최소 단어 이상 선택하여야 합니다.
최대 10 단어까지만 선택 가능합니다.
다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
NTIS 바로가기논리연구= Korean journal of logic, v.21 no.1, 2018년, pp.39 - 57
This paper deals with non-algebraic Kripke-style semantics, i.e, set-theoretical Kripke-style semantics, for weakening-free non-commutative fuzzy logics. We first recall an extension of the pseudo-uninorm based fuzzy logic HpsUL,
* AI 자동 식별 결과로 적합하지 않은 문장이 있을 수 있으니, 이용에 유의하시기 바랍니다.
Cintula, P. (2006), "Weakly Implicative (Fuzzy) Logics I: Basic properties", Archive for Mathematical Logic 45: pp. 673-704.
Cintula, P., Horcik, R., and Noguera, C. (2013), "Non-associative substructural logics and their semilinear extensions: axiomatization and completeness properties", Review of Symbolic Logic 6: pp. 394-423.
Cintula, P., Horcik, R., and Noguera, C. (2015), "The quest for the basic fuzzy logic", in F. Montagna (ed.) Petr Hajek on Mathematical Fuzzy Logic, Dordrecht: Springer, pp. 245-290.
Cintula, P. and Noguera, C. (2011), A general framework for mathematical fuzzy logic, in P. Cintula, P. Hajek, and C. Noguera (eds.) Handbook of Mathematical Fuzzy Logic, vol 1, London: College publications, pp. 103-207.
Diaconescu, D. (2010), "Kripke-style semantics for non-commutative monoidal t-norm logic", Journal of Multiple-Valued Logic and Soft Computing 16: pp. 247-263.
Diaconescu, D. and Georgescu, G. (2007), "On the forcing semantics for monoidal t-norm based logic", Journal of Universal Computer Science 13: pp. 1550-1572.
Esteva, F. and Godo, L. (2001), "Monoidal t-norm based logic: towards a logic for left-continuous t-norms", Fuzzy Sets and Systems 124: pp. 271-288.
Hajek, P. (2003a), "Fuzzy logics with noncommutative conjunction", Journal of Logic and Computation 13: pp. 469-479.
Hajek, P. (2003b), "Observations on non-commutative fuzzy logic", Soft Computing 8: pp. 38-43.
Metcalfe, G. and Montagna, F. (2007), "Substructural Fuzzy Logics", Journal of Symbolic Logic 72: pp. 834-864.
Metcalfe, G., Olivetti, N., and Gabbay, D. (2009), Proof Theory for Fuzzy Logics, Springer.
Montagna, F. and Sacchetti, L. (2003), "Kripke-style semantics for many-valued logics", Mathematical Logic Quaterly 49: pp. 629-641.
Montagna, F. and Sacchetti, L. (2004), "Corrigendum to "Kripke-style semantics for many-valued logics", Mathematical Logic Quaterly 50: pp. 104-107.
Tsinakis, C. and Blount, K. (2003), "The structure of residuated lattices", International Journal of Algebra and Computation 13: pp. 437-461.
Wang, S. (2013) "Logics for residuated pseudo-uninorms and their residua", Fuzzy Sets and Systems 218: pp. 24-31.
Wang, S. and Zhao, B. (2009), "HpsUL is not the logic of pseudo-uninorms and their residua", Logic Journal of the IGPL 17: pp. 413-419.
Yang, E. (2015a), "Set-theoretic Kripke-style semantics for three-valued paraconsistent logic", Korean Journal of Logic 18: pp. 65-82.
Yang, E. (2015b), "Two kinds of (binary) Kripke-style semantics for three-valued logic", Logique et Analyse 231: pp. 379-396.
*원문 PDF 파일 및 링크정보가 존재하지 않을 경우 KISTI DDS 시스템에서 제공하는 원문복사서비스를 사용할 수 있습니다.
※ AI-Helper는 부적절한 답변을 할 수 있습니다.