[논문]CnHpsUL*을 위한 대수적 크립키형 의미론

양은석

**CnHpsUL*을 위한 대수적 크립키형 의미론**
Algebraic Kripke-style semantics for an extension of HpsUL, CnHpsUL* 원문보기

논리연구= Korean journal of logic, v.19 no.1, 2016년, pp.107 - 126

초록
AI-Helper

이 글에서 우리는 약화 없는 비교환적인 퍼지 논리의 크립키형 의미론을 다룬다. 이의 한 예로, 우리는 가-유니놈에 기반한 퍼지 논리 HpsUL의 한 확장 체계인 $CnHpsUL^*$을 위한 대수적 크립키형 의미론을 고려한다. 이를 위하여 먼저 $CnHpsUL^*$ 체계를 소개하고 그에 상응하는 $CnHpsUL^*$-대수를 정의한 후 $CnHpsUL^*$이 대수적으로 완전하다는 것을 보인다. 다음으로 $CnHpsUL^*$을 위한 크립키형 의미론을 소개하고 이를 대수적 의미론과 연관 짓는다.

Abstract ▼ AI-Helper

This paper deals with Kripke-style semantics for weakening-free non-commutative fuzzy logics. As an example, we consider an algebraic Kripke-style semantics for an extension of the pseudo-uninorm based fuzzy logic HpsUL, $CnHpsUL^*$. For this, first, we recall the system $CnHpsUL^*$, define its corresponding algebraic structures $CnHpsUL^*$-algebras, and algebraic completeness results for it. We next introduce a Kripke-style semantics for $CnHpsUL^*$, and connect it with algebraic semantics.

주제어

AI 본문요약
AI-Helper

* AI 자동 식별 결과로 적합하지 않은 문장이 있을 수 있으니, 이용에 유의하시기 바랍니다.

문제 정의

This paper is a contribution to the study of Kripke-style semantics, i.e., semantics with binary accessibility relations, for weakening-free non-commutative substructural fuzzy logics. First recall the concepts of substructural fuzzy logics.

가설 설정

(i) There is a linearly ordered HpsUL-algebra, which is not satisfying the WCM condition.
(ii) The systems HpsU L and CnHpsU L are not standard complete.

참고문헌 (27)

Behounek, L. and Cintula, P. (2006), "Fuzzy logics as the logics of chains", Fuzzy Sets and Systems, 157, pp. 604-610.

상세보기
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, 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.
Dunn, J. M. (1976), "A Kripke-style semantics for R-Mingle using a binary accessibility relation", Studia Logica, 35, pp. 163-172.

상세보기
Dunn, J. M. (2000), "Partiality and its Dual", Studia Logica, 66, pp. 5-40.
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.

상세보기
Galatos, N., Jipsen, P., Kowalski, T., and Ono, H. (2007), Residuated lattices: an algebraic glimpse at substructural logics, Amsterdam: Elsevier.
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 Ono, H. (2002), "Kripke semantics, undecidability and standard completeness for Esteva and Godo's Logic $MTL{\forall}$ ", Studia Logica, 71, pp. 227-245.
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.

상세보기
Thomason, R. H. (1969), "A semantic study of constructive falsity", Zeitschrift fur mathematische Logik und Grundlagen der Mathematik, 15, pp. 247-257.
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. (2009), "(Star-based) four-valued Kripke-style Semantics for some neighbors of E, R, T", Logique et Analyse, 207, pp. 255-280.
Yang, E. (2012a), "Kripke-style semantics for UL", Korean Journal of Logic, 15 (1), pp. 1-15.

원문보기 상세보기
Yang, E. (2012b), "(Star-based) three-valued Kripke-style semantics for pseudo- and weak-Boolean logics", Logic Journal of the IGPL, 20, pp. 187-206.

상세보기
Yang, E. (2014a), "Algebraic Kripke-style semantics for weakening-free fuzzy logics", Korean Journal of Logic, 17 (1), pp. 181-195.

원문보기 상세보기
Yang, E. (2014b), "Algebraic Kripke-style semantics for relevance logics", Journal of Philosophical Logic, 43, pp. 803-826.

상세보기

저자의 다른 논문 :

LOADING...

내보내기 구분	파일저장 인쇄 메일전송
구성항목	기본정보 상세정보 관리번호, 논문명, 저널/프로시딩명, 저자 , 발행년, 권, 호, 시작페이지, 끝페이지, 발행기관 관리번호, 논문명, 대등논문명, 저자 , 저널/프로시딩명, 발행기관, 발행년, 발행언어, 권, 호, 시작페이지, 끝페이지, ISBN, ISSN, 주제분야, 키워드, 초록(한글), 초록(영문), 저자(소속기관)
저장형식	Text(ASCII format) Excel format RefWorks Direct Export RIS format (for Reference Manager, ProCite, EndNote), Scholar's Aids, Mendeley
메일정보	받는사람 (필수) @ 보내는사람 (선택) @ 제목 내용 KISTI 검색결과 이메일 서비스
안내	총 건의 자료가 검색되었습니다. 다운받으실 자료의 인덱스를 입력하세요. (1-10,000) 검색결과의 순서대로 최대 10,000건 까지 다운로드가 가능합니다. 데이타가 많을 경우 속도가 느려질 수 있습니다.(최대 2~3분 소요) 다운로드 파일은 UTF-8 형태로 저장됩니다. 파일의 내용이 제대로 보이지 않을실 때는 웹브라우저 상단의 보기 -> 인코딩 -> 자동선택 여부를 확인하십시오. ~ Text(ASCII format) Excel format

연합인증