Results 151 to 160 of about 3,086 (177)
Some of the next articles are maybe not open access.
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
Logic for two: The semantics of distributive substructural logics
1997This is an account of the semantics of a family of logics whose paradigm member is the relevant logic R of Anderson and Belnap. The formal semantic theory is well worn, having been discussed in the literature of such logics for over a quarter of a century.
John K. Slaney, Robert K. Meyer
openaire +1 more source
Information, Awareness and Substructural Logics
2013The paper outlines a generalisation of the awareness-based epistemic semantics by Fagin and Halpern. Awareness is construed as a relation between agents and pieces of information instead of formulas. The main motive for introducing the generalisation is that it shows substructural logics to be a natural component of information-based epistemic logic ...
openaire +1 more source
On the Adequacy of a Substructural Logic for Mathematics and Science
Philosophical Quarterly, 2022Neil Tennant
exaly
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 +2 more sources