Results 111 to 120 of about 2,358 (145)
Some of the next articles are maybe not open access.
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 +1 more source
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 +1 more source
Combinatory Logic and the Semantics of Substructural Logics
Studia Logica, 2007In his earlier paper ``Combinator logics'' [ibid. 76, No. 1, 17--66 (2004; Zbl 1054.03019)] the author extended the positive relevance logic Bo, with and, or and o (fusion) by o-axioms related to the reduction rules of a set of combinators. He then extended the Routley-Meyer semantics to this extended logic.
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 ...
Petr Cintula, George Metcalfe
openaire +2 more sources
Tableau Methods for Substructural Logics
1999Over the last few decades a good deal of research in logic has been prompted by the realization that logical systems can be successfully employed to formalize and solve a variety of computational problems. Traditionally, the theoretical framework for most applications was assumed to be classical logic. However, this assumption often turned out to clash
D'AGOSTINO, Marcello +2 more
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
Substructural logics, pluralism and collapse
Synthese, 2018zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Eduardo Alejandro Barrio +2 more
openaire +3 more sources
A SAHLQVIST THEOREM FOR SUBSTRUCTURAL LOGIC
The Review of Symbolic Logic, 2013AbstractIn this paper, we establish the first-order definability of sequents with consistent variable occurrence on bi-approximation semantics by means of the Sahlqvist–van Benthem algorithm. Then together with the canonicity results in Suzuki (2011), this allows us to establish a Sahlqvist theorem for substructural logic.
openaire +2 more sources
1993
Abstract Sub structural logics are non classical logics, which arose in response to problems in foundations of mathematics and logic, theoretical computer science, mathematical linguistics, and category theory. They include intuitionistic logic, relevant logic, BCK logic, linear logic, and Lambek's calculus of syntactic categories.
openaire +1 more source
Abstract Sub structural logics are non classical logics, which arose in response to problems in foundations of mathematics and logic, theoretical computer science, mathematical linguistics, and category theory. They include intuitionistic logic, relevant logic, BCK logic, linear logic, and Lambek's calculus of syntactic categories.
openaire +1 more source
Modal translations in substructural logics
Journal of Philosophical Logic, 1992The Gödel-Tarski translation of the intuitionistic predicate logic into S4 by prefixing \(\square\) to all subformulas is sound and faithful. The author proves a similar result for translations of the intuitionistic versions of linear logic, relevance logic and BCK-logic into their classical S4-analogs.
openaire +2 more sources
Substructural Logics for Pooling Information
2017This paper puts forward a generalization of the account of pooling information – offered by standard epistemic logic – based on intersection of sets of possible worlds. Our account is based on information models for substructural logics and pooling is represented by fusion of information states.
Vít Puncochár, Igor Sedlár
openaire +1 more source