Results 121 to 130 of about 2,358 (145)
Some of the next articles are maybe not open access.
Substructural Propositional Dynamic Logics
2019We prove completeness and decidability of a version of Propositional Dynamic Logic where the underlying non-modal propositional logic is a substructural logic in the vicinity of the Full Distributive Non-associative Lambek Calculus. Extensions of the result to stronger substructural logics are briefly discussed.
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
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
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
Projectivity and unification in substructural logics of generalized rotations
International Journal of Approximate Reasoning, 2023Paolo Agliano', Sara Ugolini
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
Informational interpretation of substructural propositional logics
Journal of Logic, Language and Information, 1993Heinrich Wansing
exaly
Structural Completeness in Substructural Logics
Logic Journal of IGPL, 2008Jeffrey S. Olson +2 more
openaire +1 more source