개인구독
소속 기관이 없으신 경우, 개인 정기구독을 하시면 저렴하게
논문을 무제한 열람 이용할 수 있어요.
지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
Implicational Partial Gaggle Logics and Matrix Semantics
Implicational Partial Gaggle Logics and Matrix Semantics
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 저널정보
- 한국논리학회 논리연구 논리연구 제26권 제2호 KCI Accredited Journals
- 발행연도
- 2023.6
- 수록면
- 131 - 144 (14page)
이용수
Implicational Partial Gaggle Logics and Matrix Semantics
초록· 키워드
오류제보하기
Implicational tonoid logics and their extensions with ab stract Galois properties have been introduced by Yang and Dunn. They introduced matrix semantics for the implicational tonoid logics but did not do for the extensions. Here we provide such semantics for implica tional partial gaggle logics as one sort of such extensions. To this end, first we discuss implicational partial gaggle logics in Hilbert-style. We next introduce one kind of matrix semantics based on Lindenbaum– Tarski matrices for the logics and show that those logics are complete with respect to the matrix semantics. Finally, we further introduce a slightly different kind of matrix semantics based on reduced models for the logics and show that those logics are complete with respect to this matrix semantics
목차
등록된 정보가 없습니다.
참고문헌 (0)
참고문헌 신청함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
Algebraic Routley-Meyer-style semantics for the involutive monoidal t-norm logic IMTL
논리연구
2020 .01
-
Set-theoretic Kripke-style Semantics for Involutive Monoidal T-norm (Based) Logics
철학사상
2017 .08
-
Relational Semantics for Fuzzy Extensions of R: Set-theoretic Approach
논리연구
2023 .02
-
중국인 학습자를 위한 부사 ‘더’에 관한 연구
한민족문화연구
2019 .01
-
Kripke-style semantics for pretabular fuzzy logics: Involutive idempotent fuzzy logics
논리연구
2021 .01
-
Fuzzy R Systems and Algebraic Routley-Meyer Semantics
논리연구
2022 .10
-
“除非”?件句的???比考察
중국어문학
2021 .01
-
Micanorm-Based Logics with Fixed-Point
논리연구
2021 .10
-
한국어 의미 연구와 의미 이론
한글
2016 .09
-
Algebraic Kripke-style semantics for substructural fuzzy logics
논리연구
2016 .01
-
의미론의 어제와 오늘
한국어학
2018 .11
-
근대 渡滿 일본인의 中國人像 : 제국의식의 투영
중국근현대사연구
2017 .06
-
편하설(C.F. Berheisel)의 『論理略解』연구:근대전환공간의 최초의 한글 논리학 교과서
현대유럽철학연구
2021 .01
-
高等院校社会学教育中的国家在场 ——基于1900年以来中国高校社会学教育发展历程的分析
중국학
2024 .09
-
Set-theoretical Kripke-style semantics for three-valued paraconsistent logic
논리연구
2015 .01
-
Constructing a Vocabulary List of English Textbooks in Semantics and Pragmatics
영어학
2020 .03
-
RMt, Pretabularity, and Kripke-Style Semantics
논리연구
2022 .02
-
과다적용 불투명성과 함의결합의 방향성
언어과학
2020 .01
-
Fixed-pointed Involutive Micanorm-based Logics
논리연구
2022 .06
-
서양과 동양의 차이 : 동일성의 논리와 동일성과 차이의 논리를 중심으로
신학과세계
2016 .03
이 논문의 저자 정보
최근 본 자료
댓글(0)
0
첫번째 댓글을 남겨주세요.