Results 81 to 90 of about 137 (130)
Heating conversion of indole-3-carbinol into N-substituted oligomers with anti-melanoma effect. [PDF]
Food Chem XQian JC, Zhang HP, Wang Y, Liu D.
europepmc +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 +3 more sources
Algebraic Perspectives on Substructural Logics
Trends in Logic, 2021This volume presents the state of the art in the algebraic investigation into substructural logics. It features papers from the workshop AsubL (Algebra & Substructural Logics - Take 6). Held at the University of Cagliari, Italy, this event is part of the framework of the Horizon 2020 Project SYSMICS: SYntax meets Semantics: Methods, Interactions ...
Davide Fazio +2 more
exaly +3 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 +4 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)
exaly +3 more sources
Metacompleteness of Substructural Logics
Studia Logica, 2012The paper studies the extensions of the logic \(\mathbf{FL}\) -- the logic of full Lambek calculus. A logic \(L\) is said to enjoy the disjunction property if the fact that \(\alpha \lor \beta\) is a theorem of \(L\) entails that \(\alpha\) or \(\beta\) is a theorem of \(L\).
exaly +2 more sources
Logic Journal of IGPL, 1994
Summary: Formal systems seem to come in two general kinds: useful and useless. This is painting things starkly, but the point is important. Formal structures can either be used in interesting and important ways, or they can languish unused and irrelevant. Lewis' modal logics are good examples.
openaire +3 more sources
Summary: Formal systems seem to come in two general kinds: useful and useless. This is painting things starkly, but the point is important. Formal structures can either be used in interesting and important ways, or they can languish unused and irrelevant. Lewis' modal logics are good examples.
openaire +3 more sources