Results 181 to 190 of about 884 (194)
Some of the next articles are maybe not open access.
Projectivity and unification in substructural logics of generalized rotations
International Journal of Approximate Reasoning, 2023Paolo Aglianò
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, Wansing Heinrich
exaly
Basic substructural core fuzzy logics and their extensions: Mianorm-based logics
Fuzzy Sets and Systems, 2016Eunsuk Yang
exaly
Structural Completeness in Substructural Logics
Logic Journal of IGPL, 2008Jeffrey S. Olson +2 more
openaire +1 more source
Substructural logics, pragmatic enrichment, and the inferential role of logical constants
Inquiry (United Kingdom), 2020Pilar Terres Villalonga
exaly
The finite model property for semilinear substructural logics
Mathematical Logic Quarterly, 2013Sanmin Wang
exaly