Results 151 to 160 of about 884 (194)
Variable Sharing in Substructural Logics: an Algebraic Characterization
, 2018 Guillermo Badía
openalex +2 more sources
A Study on Substructural Logics with Restricted Exchange Rules, (2)
, 1997 Ryo Kashima, Norihiro Kamide
openalex +1 more source
Substructural Logic for Orientable and Non-Orientable Surfaces
, 2015 Christophe Fouqueré +2 more
openalex +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Substructural epistemic logics
Journal of Applied Non-Classical Logics, 2015The article introduces substructural epistemic logics of belief supported by evidence. The logics combine normal modal epistemic logics (implicit belief) with distributive substructural logics (available evidence). Pieces of evidence are represented by points in substructural models and availability of evidence is modelled by a function on the point ...
Igor Sedlar
exaly +2 more sources
Synthesized substructural logics
Mathematical Logic Quarterly, 2007AbstractA mechanism for combining any two substructural logics (e.g. linear and intuitionistic logics) is studied from a proof‐theoretic point of view. The main results presented are cut‐elimination and simulation results for these combined logics called synthesized substructural logics. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)
Norihiro Kamide
exaly +2 more sources
Current Trends in Substructural Logics
Journal of Philosophical Logic, 2015zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Katalin Bimbo, Bimbo Katalin
exaly +3 more sources