Results 11 to 20 of about 3,345 (227)
Resource-driven Substructural Defeasible Logic [PDF]
, 2018 Linear Logic and Defeasible Logic have been adopted to formalise different features relevant to agents: consumption of resources, and reasoning with exceptions.
DQ Pham +10 more
core +4 more sources
Labelled Natural Deduction for Substructural Logics [PDF]
Logic Journal of IGPL, 1999 In this paper a uniform methodology to perform Natural Deduction over the family of linear, relevance and intuitionistic logics is proposed. The methodology follows the Labelled Deductive Systems (LDS) discipline, where the deductive process manipulates ...
Broda, K, Finger, M, Russo, A
core +8 more sources
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 +4 more sources
Modal Translation of Substructural Logics [PDF]
Journal of Applied Non-Classical Logics, 2018 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 ...
Takis Hartonas
openalex +4 more sources
Editorial Introduction: Substructural Logics and Metainferences [PDF]
Journal of Philosophical Logic, 2022 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Eduardo Alejandro Barrio, Paul Égré
openalex +2 more sources
Proof complexity of substructural logics
Annals of Pure and Applied Logic, 2021 34 ...
Raheleh Jalali
openalex +4 more sources
CONNEXIVE IMPLICATIONS IN SUBSTRUCTURAL LOGICS [PDF]
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
openalex +3 more sources
ACM SIGLOG News, 2018 Substructural logics: semantics, proof theory, and applications is the second workshop within the project SYSMICS (Syntax meets Semantics - Methods, Interactions, and Connections in Substructural logics). It was held in Vienna at the Faculty of Mathematics, University of Vienna, from 26 -- 28 February 2018.
Agata Ciabattoni +2 more
openalex +2 more sources
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
Semi-Substructural Logics à la Lambek [PDF]
Electronic Proceedings in Theoretical Computer ScienceThis work studies the proof theory of left (right) skew monoidal closed categories and skew monoidal bi-closed categories from the perspective of non-associative Lambek calculus. Skew monoidal closed categories represent a relaxed version of monoidal closed categories, where the structural laws are not invertible; instead, they are natural ...
Cheng-Syuan Wan
openalex +3 more sources