본문 바로가기
KERD
논문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)

  1. 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
  2. Dunn, J. M, "Algebraic Methods in Philosophical Logic" (2001), Oxford, Oxford Univ Press
  3. 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)
  4. Esteva, F, "Monoidal t-norm based logic: towards a logic for left-continous t-norms", Fuzzy Sets and Systems, 124, pp.271~288 (2001)
  5. Esteva, F, "Residuated fuzzy logics with an involutive logics", Archive for Mathematical Logic, 39, pp.103~124 (2000)
  6. Hájek, P, "Metamathematics of Fuzzy Logic" (1998), Amsterdam, Kluwer
  7. Höhle, U, "Commutative, residuated l-monoids (Non-Classical Logics and Their Applications to Fuzzy Subsets)", pp.53~106 (1995), Amsterdam, Kluwer
  8. Yang, E, "Routley-Meyer semantics for some weak Boolean logics, and some Translations", Logic Journal of the IGPL, 12, pp.355~369 (2004)
  9. Yang, E, "Algebraic completeness results for sKD and its Extensions", Korean Journal of Logic, 9(1), pp.1~29 (2006)

관련 논문AI추천

이 간행물의 다른 논문 (5건)