Results 71 to 80 of about 816,807 (142)
Advances in biomineralization-inspired materials for hard tissue repair. [PDF]
Int J Oral Sci, 2021 Tang S, Dong Z, Ke X, Luo J, Li J.
europepmc +1 more source
Critical analysis of the Carmo-Jones system of Contrary-to-Duty obligations
, 2010 We offer a technical analysis of the contrary to duty system proposed in Carmo-Jones.
Gabbay, Dov, Schlechta, Karl
core +2 more sources
Polymer-based drug delivery systems under investigation for enzyme replacement and other therapies of lysosomal storage disorders. [PDF]
Adv Drug Deliv Rev, 2023 Placci M, Giannotti MI, Muro S.
europepmc +1 more source
A pre-semantics for counterfactual conditionals and similar logics
, 2017 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
Philosophical StudiesAbstractThe 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]
Thought (Hoboken), 2019 Wigglesworth J.
europepmc +1 more source
Fuzzy logical algebras and their applications. [PDF]
ScientificWorldJournal, 2015 Zhan J +4 more
europepmc +1 more source
Proof-Theoretic Methods in Nonclassical Logic --an Introduction
, 1998 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
Reasoning in Nonclassical LogicsJAIST 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
Revisiting Primary Particles in Layered Lithium Transition-Metal Oxides and Their Impact on Structural Degradation. [PDF]
Adv Sci (Weinh), 2019 Lee SY +8 more
europepmc +1 more source