Results 31 to 40 of about 884 (194)
Substructural Fuzzy-Relevance Logic [PDF]
Notre Dame Journal of Formal Logic, 2015 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.
Eunsuk Yang
openalex +3 more sources
Constructive Logic with Strong Negation is a Substructural Logic. II [PDF]
Studia Logica, 2008 This is the latter half of two papers in which the authors show that the constructive logic with strong negation is definitionally equivalent to a certain axiomatic extension of the substructural logic FLew, namely, the full Lambek calculus with exchange and weakening. In the first half [\textit{M. Spinks} and \textit{R. Veroff}, Stud. Log. 88, No.
Matthew Spinks, Robert Veroff
openalex +4 more sources
Focus-preserving Embeddings of Substructural Logics in Intuitionistic Logic
, 2018 We present a method of embedding substructural logics into ordinary first-order intuitionistic logic. This embedding is faithful in a very strong sense: not only does it preserve provability of sequents under translation, but it also preserves sets of ...
Frank Pfenning (5356877) +1 more
core +3 more sources
Powers and limitations of Urquhart-style semantics I : basic substructural logics
This paper addresses three kinds of binary operational semantics, called here Urquhart-style semantics, for basic substructural logics. First, we discuss the most basic substructural logic GL introduced by Galatos and Ono and its expansions with ...
Yang, Eunsuk
core +3 more sources
Convolution Algebras: Relational Convolution, Generalised Modalities and Incidence Algebras [PDF]
Logical Methods in Computer Science, 2021 Convolution is a ubiquitous operation in mathematics and computing. The Kripke semantics for substructural and interval logics motivates its study for quantale-valued functions relative to ternary relations. The resulting notion of relational convolution
Brijesh Dongol +2 more
doaj +1 more source
Substructural logics for pooling information
, 2017 This paper puts forward a generalization of the account of pooling information – offered by standard epistemic logic – based on intersection of sets of possible worlds.
Sedlár, Igor
core +2 more sources
Basic Core Fuzzy Logics and Algebraic Routley–Meyer-Style Semantics
Axioms, 2021 Recently, algebraic Routley–Meyer-style semantics was introduced for basic substructural logics. This paper extends it to fuzzy logics. First, we recall the basic substructural core fuzzy logic MIAL (Mianorm logic) and its axiomatic extensions, together ...
Eunsuk Yang
doaj +1 more source
Why a Logic is not only its Set of Valid Inferences
Análisis Filosófico, 2021 The main idea that we want to defend in this paper is that the question of what a logic is should be addressed differently when structural properties enter the game.
Eduardo A. Barrio, Federico Pailos
doaj +1 more source
Structural Rules in Natural Deduction with Alternatives
Bulletin of the Section of Logic, 2023 Natural deduction with alternatives extends Gentzen–Prawitz-style natural deduction with a single structural addition: negatively signed assumptions, called alternatives.
Greg Restall
doaj +1 more source
Substructure Temporal Logic [PDF]
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013 In formal verification and design, reasoning about substructures is a crucial aspect for several fundamental problems, whose solution often requires to select a portion of the model of interest on which to verify a specific property. In this paper, we present a new branching-time temporal logic, called Substructure Temporal Logic (STL, for short ...
BENERECETTI, MASSIMO +2 more
openaire +2 more sources