Order:
  1.  67
    R and Relevance Principle Revisited.Eunsuk Yang - 2013 - Journal of Philosophical Logic 42 (5):767-782.
    This paper first shows that some versions of the logic R of Relevance do not satisfy the relevance principle introduced by Anderson and Belnap, the principle of which is generally accepted as the principle for relevance. After considering several possible (but defective) improvements of the relevance principle, this paper presents a new relevance principle for (three versions of) R, and explains why this principle is better than the original and others.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  2.  6
    Three-Valued Kripke-Style Semantics For Pseudo- And Weak-Boolean Logics.Eunsuk Yang - 2012 - Logic Journal of the IGPL 20 (1):187-206.
    This article investigates Kripke-style semantics for two sorts of logics: pseudo-Boolean and weak-Boolean logics. As examples of the first, we introduce G3 and S53pB.G3 is the three-valued Dummett–Gödel logic; S53pB is the modal logic S5 but with its orthonegation replaced by a pB negation. Examples of wB logic are G3wB and S53wB.G3wB is G3 with a wB negation in place of its pB negation; S53wB is S5 with a wB negation replacing its orthonegation. For each system, we provide a three-valued (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  3.  44
    Algebraic Kripke-Style Semantics for Relevance Logics.Eunsuk Yang - 2014 - Journal of Philosophical Logic 43 (4):803-826.
    This paper deals with one kind of Kripke-style semantics, which we shall call algebraic Kripke-style semantics, for relevance logics. We first recall the logic R of relevant implication and some closely related systems, their corresponding algebraic structures, and algebraic completeness results. We provide simpler algebraic completeness proofs. We then introduce various types of algebraic Kripke-style semantics for these systems and connect them with algebraic semantics.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  45
    Substructural Fuzzy-Relevance Logic.Eunsuk Yang - 2015 - Notre Dame Journal of Formal Logic 56 (3):471-491.
    This paper proposes a new topic in substructural logic for use in research joining the fields of relevance and fuzzy logics. For this, we consider old and new relevance principles. We first introduce fuzzy systems satisfying an old relevance principle, that is, Dunn’s weak relevance principle. We present ways to obtain relevant companions of the weakening-free uninorm systems introduced by Metcalfe and Montagna and fuzzy companions of the system R of relevant implication and its neighbors. The algebraic structures corresponding to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5. Four-Valued Kripke-Style Semantics for Some Neighbors of E, R, T.Eunsuk Yang - 2009 - Logique Et Analyse 52 (207):255-280.
  6.  17
    Tr, Te-R, Tec-R.Eunsuk Yang - 2002 - Bulletin of the Section of Logic 31 (3):171-181.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  7
    Routely-Meyer Semantics for Some Weak Boolean Logics, and Some Translations.Eunsuk Yang - 2004 - Logic Journal of the IGPL 12 (5):355-369.
    In this paper we investigate some logics with weak Boolean negation , calling wB logics, obtained by dualizing intuitionistic negation . We first provide Routley-Meyer semantics for wB-IC , its neighbors wB-LC, wB-LC* ), and wB-S4, wB-S4c . We give completeness for each of them by using RM semantics. We next provide RM semantics for IC, the Dummett's LC, the wB-S4 with ¬ in place of − , and the pB-S4 with c , and give completeness for each system. Finally, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation