논문KCI 등재
Involutive Idempotent Uninorm Logics and Pretabularity
0
조회
0
다운로드
3
인용
0
참고문헌
키워드
주제분류철학
초록
This paper deals with the pretabular property of some fuzzy logics. For this, we first introduce the involutive idempotent uninorm logics IdIUL and IUML and examine the relationship between IdIUL and the another well-known system RMT. Next, we show that IUML is pretabular, whereas IdIUL is not.
Abstract
This paper deals with the pretabular property of some fuzzy logics. For this, we first introduce the involutive idempotent uninorm logics IdIUL and IUML and examine the relationship between IdIUL and the another well-known system RMT. Next, we show that IUML is pretabular, whereas IdIUL is not.
참고문헌 (15)
- Behounek, L, "Fuzzy logics as the logics of chains", Fuzzy Sets and Systems, 157, pp.604~610 (2006)
- Cintula, P., "Weakly Implicative (Fuzzy) Logics I: Basic properties", Archive for Mathematical Logic, 45, pp.673~704 (2006)
- Dunn, J. M., "Algebraic completeness for R-mingle and its extensions", The Journal of Symbolic Logic, 35, pp.1~13 (1970)
- Dunn, J. M, "Algebraic Methods in Philosophical Logic" (2001), Oxford Univ Press
- Dunn, J. M, "Algebraic completeness results for Dummett's LC and its extensions", Mathematical Logic Quarterly, 17, pp.225~230 (1971)
- Gabbay, D, "Undecidability of modal and intermediate first-order logics with two individual variables", The Journal of Symbolic Logic, 58, pp.800~823 (1993)
- Galatos, N, "A category equivalence for odd Sugihara monoids and its applications", Journal of Pure and Applied Algebra, 216, pp.2177~2192 (2012)
- Galminas, L, "A pretabular classical relevance logic", Studia Logica, 100, pp.1211~1221 (2012)
- Meyer, R. K., "Completeness of relevant quantification theories", Notre Dame Journal of Formal Logic, 15, pp.97~121 (1976)
- Metcalfe, G., "Substructural Fuzzy Logics", Journal of Symbolic Logic, 72, pp.834~864 (2007)
- Raftery, J. G., "Representable idempotent commutative residuated lattices", Transactions of the American Mathematical Society, 359, pp.4405~4427 (2007)
- Rybakov, V., "Independent bases for rules admissible in pretabular logics", Logic Journal of the Interest Group in Pure and Applied Logics, 7, pp.253~266 (1999)
- Sugihara, T., "Strict implication free from implicational paradoxes", Memoirs of the Faculty of Liberal Arts, Fukui University, Series, 1, pp.55~59 (1955)
- Swirydowicz, K., "There exists an uncountable set of pretabular extensions of the relevant logic R and each logic of this set is generated by a variety of finite height", The Journal of Symbolic Logic, 73, pp.1249~1270 (2008)
- Yang, E., "R and Relevance principle revisited", Journal of Philosophical Logic, 42, pp.767~782 (2013)
관련 논문AI추천
Kripke-style semantics for pretabular fuzzy logics: Involutive idempotent fuzzy logics양은석한국논리학회 · 논리연구2021 · 제24권 제2호Algebraic Routley-Meyer-style semantics for the involutive monoidal t-norm logic IMTL양은석한국논리학회 · 논리연구2020 · 제23권 제3호Uninorm logic: toward a fuzzy-relevance logic(2)양은석한국논리학회 · 논리연구2008 · 제11권 제1호Weakly associative fuzzy logics양은석한국논리학회 · 논리연구2016 · 제19권 제3호Algebraic Kripke-style semantics for weakening-free fuzzy logics양은석한국논리학회 · 논리연구2014 · 제17권 제1호Algebraic Kripke-style semantics for substructural fuzzy logics양은석한국논리학회 · 논리연구2016 · 제19권 제2호