Results 101 to 110 of about 2,358 (145)
Some of the next articles are maybe not open access.
Synthesized substructural logics
Mathematical Logic Quarterly, 2007AbstractA mechanism for combining any two substructural logics (e.g. linear and intuitionistic logics) is studied from a proof‐theoretic point of view. The main results presented are cut‐elimination and simulation results for these combined logics called synthesized substructural logics. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)
Norihiro Kamide
exaly +2 more sources
Current Trends in Substructural Logics
Journal of Philosophical Logic, 2015zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Katalin Bimbo
exaly +3 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\).
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 +2 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 +2 more sources
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
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 +1 more source
Substructural Logics with Mingle
Journal of Logic, Language and Information, 2002zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 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 +2 more sources
Substructural logics on display
Logic Journal of IGPL, 1998Belnap-style display characterizations admitting cut-elimination are presented for numerous substructural logics including non-commutative intuitionistic linear logic and its relevant, intuitionistic and classical extensions.
openaire +2 more sources