논리연구 (Korean Journal of Logic)
- 제15권2호
- /
- Pages.207-222
- /
- 2012
- /
- 1598-7493(pISSN)
R, fuzzy R, and Algebraic Kripke-style Semantics
- 양은석 (전북대학교 철학과)
- Yang, Eun-Suk (Department of Philosophy, Chonbuk National University)
- 투고 : 2012.04.01
- 심사 : 2012.05.29
- 발행 : 2012.06.30
초록
이 글에서 우리는 연관 논리 R을 퍼지화한 체계 FR을 위한 크립키형 의미론을 다룬다. 이를 위하여 먼저 FR 체계를 소개하고 그에 상응하는 FR-대수를 정의한 후 FR이 대수적으로 완전하다는 것을 보인다. 다음으로 FR을 위한 대수적 크립키형 의미론을 소개하고 이를 대수적 의미론과 연관 짓는다. 마지막으로 이러한 의미론이 R에는 적용될 수 없다는 점을 보인다.
This paper deals with Kripke-style semantics for FR, a fuzzy version of R of Relevance. For this, first, we introduce FR, define the corresponding algebraic structures FR-algebras, and give algebraic completeness results for it. We next introduce an algebraic Kripke-style semantics for FR, and connect it with algebraic semantics. We furthermore show that such semantics does not work for R.
키워드