논문KCI 등재
Algebraic semantics for some weak Boolean logics
1
조회
0
다운로드
0
인용
0
참고문헌
주제분류철학
초록
Abstract
This paper investigates algebraic semantics for some weak Boolean (wB) logics, which may be regarded as left-continuous t-norm based logics (or monoidal t-norm based logics (MTLs)). We investigate as infinite-valued logics each of wB-LC and wB-sKD, and each corresponding first order extension wB-LC∀ and wB-sKD∀. We give algebraic completeness for each of them.
참고문헌 (9)
- Baaz, M, "Infinite-valued G\“odel logics with 0-1-projections and relativizations (Lecture note in Logic 6: GOEDEL's 96 - Logical foundations of mathematics, computer science and physics)", pp.23~33 (1996), Spring Verlag
- Dunn, J. M, "Algebraic Methods in Philosophical Logic" (2001), Oxford, Oxford Univ Press
- Dunn, J. M, "Algebraic Completeness Results for Dummett's LC and Its Extension", Zeitschrift fuer mathematische Logik und Grundlagen der Mathematik, 17, pp.225~230 (1971)
- 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)
- Hájek, P, "Metamathematics of Fuzzy Logic" (1998), Amsterdam, Kluwer
- Höhle, U, "Commutative, residuated l-monoids (Non-Classical Logics and Their Applications to Fuzzy Subsets)", pp.53~106 (1995), Amsterdam, Kluwer
- Yang, E, "Routley-Meyer semantics for some weak Boolean logics, and some Translations", Logic Journal of the IGPL, 12, pp.355~369 (2004)
- Yang, E, "Algebraic completeness results for sKD and its Extensions", Korean Journal of Logic, 9(1), pp.1~29 (2006)
관련 논문AI추천
Algebraic Kripke-Style Semantics for Weakly Associative Fuzzy Logics양은석한국논리학회 · 논리연구2018 · 제21권 제2호Algebraic Methods in Philosophical Logic양은석한국논리학회 · 논리연구2004 · 제7권 제1호Algebraic Kripke-style Semantics for Three-valued Paraconsistent Logic양은석한국논리학회 · 논리연구2014 · 제17권 제3호Remarks on the Valid Equations in Lattice Implication AlgebrasJooheeJeong경북대학교 자연과학대학 수학과 · Kyungpook Mathematical Journal2003 · 제43권 제4호Algebraic Kripke-style semantics for weakening-free fuzzy logics양은석한국논리학회 · 논리연구2014 · 제17권 제1호Algebraic Routley-Meyer-style semantics for the fuzzy logic MTL양은석한국논리학회 · 논리연구2018 · 제21권 제3호
