Results 121 to 130 of about 255 (160)
Some of the next articles are maybe not open access.
Algebraic Perspectives on Substructural Logics
Trends in Logic, 2021This 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 the framework of the Horizon 2020 Project SYSMICS: SYntax meets Semantics: Methods, Interactions ...
Davide Fazio +2 more
exaly +3 more sources
Constructive Logic with Strong Negation is a Substructural Logic. I [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.
Robert Veroff +2 more
exaly +4 more sources
Metacompleteness of Substructural Logics
Studia Logica, 2012The paper studies the extensions of the logic \(\mathbf{FL}\) -- the logic of full Lambek calculus. A logic \(L\) is said to enjoy the disjunction property if the fact that \(\alpha \lor \beta\) is a theorem of \(L\) entails that \(\alpha\) or \(\beta\) is a theorem of \(L\).
openaire +1 more source
Substructural Propositional Dynamic Logics
Lecture Notes in Computer Science, 2019We prove completeness and decidability of a version of Propositional Dynamic Logic where the underlying non-modal propositional logic is a substructural logic in the vicinity of the Full Distributive Non-associative Lambek Calculus. Extensions of the result to stronger substructural logics are briefly discussed.
Igor Sedlar, Sedlar Igor
exaly +2 more sources
Logic Journal of IGPL, 1994
Summary: Formal systems seem to come in two general kinds: useful and useless. This is painting things starkly, but the point is important. Formal structures can either be used in interesting and important ways, or they can languish unused and irrelevant. Lewis' modal logics are good examples.
openaire +3 more sources
Summary: Formal systems seem to come in two general kinds: useful and useless. This is painting things starkly, but the point is important. Formal structures can either be used in interesting and important ways, or they can languish unused and irrelevant. Lewis' modal logics are good examples.
openaire +3 more sources
Substructural Logics with Mingle
Journal of Logic, Language and Information, 2002zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
SUBSTRUCTURAL INQUISITIVE LOGICS
The Review of Symbolic Logic, 2019AbstractThis paper shows that any propositional logic that extends a basic substructural logic BSL (a weak, nondistributive, nonassociative, and noncommutative version of Full Lambek logic with a paraconsistent negation) can be enriched with questions in the style of inquisitive semantics and logic.
openaire +1 more source
Skolemization for Substructural Logics
2015The usual Skolemization procedure, which removes strong quantifiers by introducing new function symbols, is in general unsound for first-order substructural logics defined based on classes of complete residuated lattices. However, it is shown here following similar ideas of Baaz and Iemhoff for first-order intermediate logics ini¾?[1] that first-order ...
Petr Cintula +2 more
openaire +3 more sources
UNIFORM INTERPOLATION IN SUBSTRUCTURAL LOGICS
The Review of Symbolic Logic, 2014AbstractUniform interpolation property of a given logic is a stronger form of Craig’s interpolation property where both pre-interpolant and post-interpolant always exist uniformly for any provable implication in the logic. It is known that there exist logics, e.g., modal propositional logic S4, which have Craig’s interpolation property but do not have ...
Majid Alizadeh +2 more
openaire +2 more sources