Results 161 to 170 of about 3,086 (177)
Some of the next articles are maybe not open access.
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
Structural Completeness in Substructural Logics
Logic Journal of IGPL, 2008Jeffrey S. Olson +2 more
openaire +1 more source
Fuzzy logics from substructural perspective
Fuzzy Sets and Systems, 2010Tomasz Kowalski, Hiroakira Ono
exaly
Constructive Logic with Strong Negation as a Substructural Logic
Journal of Logic and Computation, 2010Manuela Busaniche, Roberto Cignoli
exaly