Results 81 to 90 of about 87,998 (303)
, 2005 Cyclic structures underlie formal mathematical reasoning, and replication and folding play a crucial role in the complexity of proofs. These two aspects of the geometry of proofs are discussed.
openaire +2 more sources
Deduction and ampliativity: a critical appraisal
The ampliativity of deduction has been defended in several ways—such as the semi-decidability of the theories, the surprise of unexpected consequences, the need of new individuals in deduction, or ampliative inference as deduction with suppressed ...
emiliano ippoliti
core +1 more source
Chemical Strategies for Multistimuli Responsive Dynamic Covalent Materials in Regenerative Medicine
Advanced Healthcare Materials, EarlyView.Multistimuli responsive dynamic covalent materials integrate reversible chemistry with the complex chemical, mechanical, and biochemical cues of regenerative environments. This review highlights chemical strategies based on orthogonal dynamic bonds, multicomponent networks, and hierarchical architectures to regulate mechanics, degradation, and ...
Saurabh Joshi +2 more
wiley +1 more source
A Pragmatic Justification of Deduction [PDF]
Kritike: An Online Journal of Philosophy, 2009 I will attempt to draw analogies between the problems of inductionand problems of deduction with Carroll’s paradox and Susan Haack’sarguments. These analogies either strengthen a justification of induction by showing that deduction faces similar problems,
Melanie Rosen
doaj
Círculo de Lingüística Aplicada a la Comunicación, 2023 It is a widespread claim in the literature that there does not exist an epistemic use of the modal verb mustn’t in English. Instead, the form can’t is said to fill the gap in the system.
Juan Rafael Zamorano-Mansilla
doaj
Chapter 2 Linear Natural Deduction
, 2007 approach leads to a clear conceptual priority: we rst need to understand the notions of judgment and evidence for judgments, then the notions of proposition and veri cations of propositions to understand truth.
Linear Natural Deduction
core
On the Complexity of the Natural Deduction Proof Search Algorithm [PDF]
, 2017 We present our first account of the complexity of natural deduction proof search algorithms. Though we target the complexity for natural deduction for temporal logic, here we only tackle classical case, comparing the classical part of the proof search ...
Bolotov, A. +2 more
core
Role of the Recombination Zone in Organic Light‐Emitting Devices
Advanced Materials, EarlyView.This review summarizes the critical role of the recombination zone in organic light‐emitting diodes (OLEDs). We highlight that broadening the recombination zone in OLEDs based on emissive layers with balanced charge transport and high photoluminescence quantum yields provides a promising route toward achieving both long operational lifetime and high ...
Yungui Li, Karl Leo
wiley +1 more source
Advanced Materials, EarlyView.Associating a red‐NIR phosphorescent octahedral hexanuclear molybdenum cluster compound with hexaethyleneoxide chains bearing mesogenic units on both ends leads to an emissive hybrid liquid crystal showing mesomorphism on a very unusual temperature range down to −25°C.
Killiann Heinz +11 more
wiley +1 more source
Shuitu baochi yanjiu, 2006 Based on the water quality and water spectrum data,the authors study the method that reflect the water pollution condition by using water reflection index in invisible spectrum and near infrared band spectrum,furthermore,the results show that ...
YE Hong~1, PAN Wei~
doaj