http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
Uninorm logic: toward a fuzzy-relevance logic(2)
양은석 한국논리학회 2008 論理硏究 Vol.11 No.1
This paper first investigates several uninorm logics (introduced by Metcalfe and Montagna in [8]) as fuzzy-relevance logics. We first show that the uninorm logic UL and its extensions IUL, UML, and IUML are fuzzy-relevant; fuzzy in Cintula´s sense, i.e., the logic L is complete with respect to linearly ordered L-matrices; and relevant in the weak sense that φ→ψ is a theorem only if either (i) φ and ψ share a sentential variable or constant, or (ii) both ∼φ and ψ are theorems. We next expand these systems to those with △.
Non-associative fuzzy-relevance logics: strong t-associative monoidal uninorm logics
양은석 한국논리학회 2009 論理硏究 Vol.12 No.1
This paper investigates generalizations of weakening-free uninorm logics not assuming associativity of intensional conjunction (so called fusion) &, as non-associative fuzzy-relevance logics. First, the strong t-associative monoidal uninorm logic StAMUL and its schematic extensions are introduced as non-associative propositional fuzzy-relevance logics. (Non-associativity here means that, differently from classical logic, & is no longer associative.) Then the algebraic structures corresponding to the systems are defined, and algebraic completeness results for them are provided. Next, predicate calculi corresponding to the propositional systems introduced here are considered.
양은석 한국논리학회 2015 論理硏究 Vol.18 No.3
This paper deals with Routley-Meyer semantics for two versions of R of Relevance. For this, first, we introduce two systems Rt, RT and their corresponding algebraic semantics. We next consider Routley-Meyer semantics for these systems.
Algebraic Routley-Meyer-style semantics for the fuzzy logic MTL
양은석 한국논리학회 2018 論理硏究 Vol.21 No.3
This paper deals with Routley-Meyer-style semantics, which will be called algebraic Routley-Meyer-style semantics, for the fuzzy logic system MTL. First, we recall the monoidal t-norm logic MTL and its algebraic semantics. We next introduce algebraic Routley-Meyer-style semantics for it, and also connect this semantics with algebraic semantics.
Standard completeness results for some neighbors of R-mingle
양은석 한국논리학회 2008 論理硏究 Vol.11 No.2
In this paper we deal with new standard completeness proofs of some systems introduced by Metcalfe and Montagna in [10]. For this, this paper investigates several fuzzy-relevance logics, which can be regarded as neighbors of the R of Relevance with mingle (RM). First, the monoidal uninorm idempotence logic MUIL, which is intended to cope with the tautologies of left-continuous conjunctive idempotent uninorms and their residua, and some schematic extensions of it are introduced as neighbors of RM. The algebraic structures corresponding to them are defined, and standard completeness, completeness on the real unit interval [0, 1], results for them are provided.
Algebraic Kripke-Style Semantics for Weakly Associative Fuzzy Logics
양은석 한국논리학회 2018 論理硏究 Vol.21 No.2
This paper deals with Kripke-style semantics, which will be called algebraic Kripke-style semantics, for weakly associative fuzzy logics. First, we recall algebraic semantics for weakly associative logics. W next introduce algebraic Kripke-style semantics, and also connect them with algebraic semantics.
Relational Semantics for Fuzzy Extensions of R: Set-theoretic Approach
양은석 한국논리학회 2023 論理硏究 Vol.26 No.1
This paper addresses a set-theoretic completeness based on a relational semantics for fuzzy extensions of two versions Rt and RT of R (Relevance logic). To this end, two fuzzy logics FRt and FRT as extensions of Rt and RT, respectively, and the relational semantics, so called Routley-Meyer semantics, for them are first recalled. Next, on the semantics completeness results are provided for them using a set-theoretic way.
Implicational Partial Gaggle Logics and Matrix Semantics
양은석 한국논리학회 2023 論理硏究 Vol.26 No.2
Implicational tonoid logics and their extensions with abstract 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 implicational 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
공학도를 위한 논리: ‘발표와 토론’을 위한 논리 교수ㆍ학습 모형
양은석 한국논리학회 2010 論理硏究 Vol.13 No.2
이 글에서 우리는 토론 교육 특히 공학도를 위한 토론 교육에 필요한 논리 교수․학습 모형 을 제공한다. 이를 위하여 먼저 기존에 사용되고 있는 토론 관련 교재의 논증 개념과 논증 모형을 비판적으로 검토한다. 다음으로 토론에 필요한 기본 논증과 이에 대한 훈련 모형을 제공한다. 마지막으로 이공계 학생들 특히 공대 학생들을 위한 논증 방식 특히 토론에 사용될 논증 방식으로 가설 추론과 최선의 선택으로의 추론 모형을 제공한다. In this paper we provide a teaching․learning method for logic in debate, in particular, in debate of engineers. First we criticize the concept of argument and the Toulmin model on argument used in education for debate. We next provide a general method for learning arguments needed in debate. Finally, we suggest the hypothetico-inferential method and the model for inference to the best choice as argument methods coming in useful in debate education for engineers.