Results 111 to 120 of about 137 (130)
Some of the next articles are maybe not open access.
Substructural Nuclear (Image-Based) Logics and Operational Kripke-Style Semantics
Studia Logica, 2023Eunsuk Yang, Yang Eunsuk
exaly
Truth-Maker Semantics for Some Substructural Logics
Outstanding Contributions To Logic, 2023Igor Sedlar +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
Disjunction property and complexity of substructural logics
Theoretical Computer Science, 2011Rostislav Horčík, Kazushige Terui
exaly
Structural Completeness in Substructural Logics
Logic Journal of IGPL, 2008Jeffrey S. Olson +2 more
openaire +1 more source
Informational interpretation of substructural propositional logics
Journal of Logic, Language and Information, 1993Heinrich Wansing, Wansing Heinrich
exaly
Fuzzy logics from substructural perspective
Fuzzy Sets and Systems, 2010Tomasz Kowalski, Hiroakira Ono
exaly
Basic substructural core fuzzy logics and their extensions: Mianorm-based logics
Fuzzy Sets and Systems, 2016Eunsuk Yang
exaly