Results 1 to 10 of about 110 (104)
Modal translation of substructural logics [PDF]
Journal of Applied Non-Classical Logics, 2020 In an article dating back in 1992, Kosta Došen initiated a project of modal translations in substructural logics, aiming at generalizing the well-known Gödel-McKinsey-Tarski translation of intuitionistic logic into {\bf S4}. Došen's translation worked well for (variants of) {\bf BCI} and stronger systems ({\bf BCW}, {\bf BCK}), but not for systems ...
Chrysafis Hartonas
exaly +4 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
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
Kleene Algebras, Regular Languages and Substructural Logics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 We introduce the two substructural propositional logics KL, KL+ , which use disjunction, fusion and a unary, (quasi-)exponential connective. For both we prove strong completeness with respect to the interpretation in Kleene algebras and a variant thereof.
Christian Wurm
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
CONNEXIVE IMPLICATIONS IN SUBSTRUCTURAL LOGICS
The Review of Symbolic Logic, 2023 AbstractThis paper is devoted to the investigation of term-definable connexive implications in substructural logics with exchange and, on the semantical perspective, in sub-varieties of commutative residuated lattices (FL ${}_{\scriptsize\mbox{e}}$ -algebras).
Davide Fazio, Gavin St. John
openaire +2 more sources
Outline of a Dialogical Theory of Truth
Crítica, 2023 In this essay I propose two theories of truth and show how they deal with semantic paradoxes. Their most salient feature is that they are based on a gametheoretic understanding of logic and meaning.
Miguel Álvarez Lisboa
doaj +1 more source
Command injection attacks, continuations, and the Lambek calculus [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 This paper shows connections between command injection attacks, continuations, and the Lambek calculus: certain command injections, such as the tautology attack on SQL, are shown to be a form of control effect that can be typed using the Lambek calculus,
Hayo Thielecke
doaj +1 more source