Results 161 to 170 of about 481 (175)
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)
openaire +2 more sources
Combinatory Logic and the Semantics of Substructural Logics [PDF]
Studia Logica, 2007 The results of this paper extend some of the intimate relations that are known to obtain between combinatory logic and certain substructural logics to establish a general characterization theorem that applies to a very broad family of such logics. In particular, I demonstrate that, for every combinator X, if LX is the logic that results by adding the ...
openaire +1 more source
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 +2 more sources
Substructural logics, pluralism and collapse
Synthese, 2018Fil: Barrio, Eduardo Alejandro. Instituto de Investigaciones Filosoficas - Sadaf; Argentina.
Eduardo Alejandro Barrio +5 more
openaire +2 more sources
Substructural epistemic logics
Journal of Applied Non-Classical Logics, 2015The article introduces substructural epistemic logics of belief supported by evidence. The logics combine normal modal epistemic logics (implicit belief) with distributive substructural logics (available evidence). Pieces of evidence are represented by points in substructural models and availability of evidence is modelled by a function on the point ...
openaire +2 more sources
A Substructural Logic for Inconsistent Mathematics
2019A logic for inconsistent mathematics must be strong enough to support reasoning in proofs, while weak enough to avoid paradoxes. We present a substructural logic intended to meet the needs of a working dialetheic mathematician—specifically, by adding a de Morgan negation to light linear logic, and extending the logic with a relevant conditional.
Badia, Guillermo, Weber, Zach
openaire +3 more sources
2013
In this paper, we introduce substructural variants of Artemov's logic of proofs. We show a few things here. First, we introduce a bimodal logic that has both the exponential operator in linear logic and an S4 modal operator which does not bring in any structural feature.
Hidenori Kurokawa, Hirohiko Kushida
openaire +2 more sources
In this paper, we introduce substructural variants of Artemov's logic of proofs. We show a few things here. First, we introduce a bimodal logic that has both the exponential operator in linear logic and an S4 modal operator which does not bring in any structural feature.
Hidenori Kurokawa, Hirohiko Kushida
openaire +2 more sources
Herbrand Theorems for Substructural Logics
2013Herbrand and Skolemization theorems are obtained for a broad family of first-order substructural logics. These logics typically lack equivalent prenex forms, a deduction theorem, and reductions of semantic consequence to satisfiability. The Herbrand and Skolemization theorems therefore take various forms, applying either to the left or right of the ...
Cintula, P. (Petr), Metcalfe, G.
openaire +3 more sources
A Paraconsistent and Substructural Conditional Logic
2012I introduce and motivate a conditional logic based on the substructural system HL from Paoli (Substructural logics: a primer, Kluwer, Dordrecht, 2002). Its hallmark is the presence of three logical levels (each one of which contains its own conditional connective), linked to one another by means of appropriate distribution principles.
openaire +3 more sources
Modal and Substructural Logics
2019In this section, we will give a brief introduction to proof theory for two important branches of nonclassical logics, that is, modal logics and substructural logics. They are important because both of them include vast varieties of logics that have been actively studied.
openaire +2 more sources