Open Access
2015 Substructural Fuzzy-Relevance Logic
Eunsuk Yang
Notre Dame J. Formal Logic 56(3): 471-491 (2015). DOI: 10.1215/00294527-3132824

Abstract

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 (based) systems introduced by Metcalfe and Montagna and fuzzy companions of the system R of relevant implication (without distributivity) and its neighbors. The algebraic structures corresponding to the systems are then defined, and completeness results are provided. We next consider fuzzy systems satisfying new relevance principles introduced by Yang. We show that the weakening-free uninorm (based) systems and some extensions and neighbors of R satisfy the new relevance principles.

Citation

Download Citation

Eunsuk Yang. "Substructural Fuzzy-Relevance Logic." Notre Dame J. Formal Logic 56 (3) 471 - 491, 2015. https://doi.org/10.1215/00294527-3132824

Information

Received: 11 December 2010; Accepted: 13 May 2013; Published: 2015
First available in Project Euclid: 22 July 2015

zbMATH: 1334.03030
MathSciNet: MR3373615
Digital Object Identifier: 10.1215/00294527-3132824

Subjects:
Primary: 02C
Secondary: 02J

Keywords: (substructural) fuzzy-relevance logic , fuzzy logic , relevance logic , uninorm (based) logic

Rights: Copyright © 2015 University of Notre Dame

Vol.56 • No. 3 • 2015
Back to Top