Results 171 to 180 of about 696 (191)
Some of the next articles are maybe not open access.
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
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
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
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
On the Adequacy of a Substructural Logic for Mathematics and Science
Philosophical Quarterly, 2022Neil Tennant, Tennant Neil
exaly
A substructural connective for possibilistic logic
1995We investigate the use of substructural logics for dealing with uncertainty. In this paper possibilistic logic is enriched with a new connective for combining information; the language allows then for two combinators: the usual ”and” for performing expansion and the new ”and” for combining information from distinct independent sources, as argued in ...
openaire +1 more source
A substructural view of multilattice logic
J. Multiple Valued Log. Soft Comput., 2019Summary: In this study, a new logic called the linear multilattice logic (LML\(_n\)) is introduced as one-sided sequent calculus. This logic is regarded as a substructural refinement of Shramko's multilattice logic. Theorems for embedding LML\(_n\) into a one-sided sequent calculus for classical linear logic and vice versa are proved.
openaire +2 more sources