Results 141 to 150 of about 255 (160)
Some of the next articles are maybe not open access.
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
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 +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 +2 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 +2 more sources
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 +2 more sources
Defining Formal Explanation in Classical Logic by Substructural Derivability
Lecture Notes in Computer Science, 2021Francesco Antonio Genco +2 more
exaly
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
Structural Completeness in Substructural Logics
Logic Journal of IGPL, 2008Jeffrey S. Olson +2 more
openaire +1 more source