Results 71 to 80 of about 1,465 (138)
Polymer-based drug delivery systems under investigation for enzyme replacement and other therapies of lysosomal storage disorders. [PDF]
Placci M, Giannotti MI, Muro S.
europepmc +1 more source
A pre-semantics for counterfactual conditionals and similar logics
The elegant Stalnaker/Lewis semantics for counterfactual conditonals works with distances between models. But human beings certainly have no tables of models and distances in their head.
Schlechta, Karl
core +1 more source
Saving logic from paradox via nonclassical recapture
AbstractThe Liar paradox arguably shows that a coherent and self-applicable notion of truth is governed by nonclassical logic. It then seems natural to conclude that classical logic is inadequate for defining a truth theory. In this article, we argue that this is not the case.
openaire +1 more source
Individuating Logics: A Category-Theoretic Approach. [PDF]
Wigglesworth J.
europepmc +1 more source
Fuzzy logical algebras and their applications. [PDF]
Zhan J +4 more
europepmc +1 more source
Proof-Theoretic Methods in Nonclassical Logic --an Introduction
This is an introduction to proof theory of nonclassical logic, which is directed at people who have just started the study of nonclassical logics, using proof-theoretic methods. In our paper, we will discuss only its proof theory based on sequent calculi. So, we will discuss mainly cut elimination and its consequences. As this is not an introduction to
openaire +2 more sources
Reasoning in Nonclassical Logics
JAIST 21世紀COEシンポジウム2005「検証進化可能電子社会」 = JAIST 21st Century COE Symposium 2005 “Verifiable and Evolvable e-Society”, 開催:2005年3月10日~11日, 開催場所:石川ハイテク交流センター Technical session 1 identifier:https://dspace.jaist.ac.jp/dspace/handle/10119 ...
openaire
Minimally inconsistent reasoning in Semantic Web. [PDF]
Zhang X.
europepmc +1 more source
Revisiting Primary Particles in Layered Lithium Transition-Metal Oxides and Their Impact on Structural Degradation. [PDF]
Lee SY +8 more
europepmc +1 more source
Classes of int-soft filters in residuated lattices. [PDF]
Jun YB, Ahn SS, Lee KJ.
europepmc +1 more source

