Results 11 to 20 of about 884 (194)
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 generalising the well-known Gödel–McKinsey–Tarski translation of intuitionistic logic into S4. Došen's translation worked well for
Chrysafis Hartonas
exaly +4 more sources
Logics for Finite UL and IUL-Algebras Are Substructural Fuzzy Logics [PDF]
Symmetry, 2018 Semilinear substructural logics UL ω and IUL ω are logics for finite UL and IUL -algebras, respectively. In this paper, the standard completeness of UL ω and IUL ω is proven by the method
Sanmin Wang
exaly +3 more sources
Algebraic Perspectives on Substructural Logics
Trends in Logic, 2021 This volume presents the state of the art in the algebraic investigation into substructural logics. It features papers from the workshop AsubL (Algebra & Substructural Logics - Take 6). Held at the University of Cagliari, Italy, this event is part of
Ledda, Antonio +3 more
exaly +4 more sources
Connexive implications in Substructural Logics [PDF]
The Review of Symbolic Logic, 2022 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
Meeting strength in substructural logics [PDF]
Studia Logica, 1995 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Yde Venema
openalex +4 more sources
Editorial Introduction: Substructural Logics and Metainferences [PDF]
, 2022 International audienceThe concept of substructural logic was originally introduced in relation to limitations of Gentzen’s structural rules of Contraction, Weakening and Exchange.
Égré, Paul, Barrio, Eduardo
core +2 more sources
Proof complexity of substructural logics
Annals of Pure and Applied Logic, 2021 34 ...
Raheleh Jalali
openalex +4 more sources
Journal of Symbolic Logic, 2007 Substructural fuzzy logics are substructural logics that are complete with respect to algebras whose lattice reduct is the real unit interval [0. 1]. In this paper, we introduce Uninorm logic UL as Multi plicative additive intuitionistic linear logic ...
Metcalfe G., Montagna F.
core +5 more sources
Fuzzy logics from substructural perspective [PDF]
Fuzzy Sets and Systems, 2010 Hájek's basic logic BL is an extension of the substructural logic Fl_, or equivalently, Höhle's monoidal logic. Thus, fuzzy logics can be viewed as a special subclass of substructural logics.
Tomasz Kowalski, Hiroakira Ono
exaly +2 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 +2 more sources