Results 91 to 100 of about 205,593 (312)
Natural Deduction in a Paracomplete Setting [PDF]
, 2014 In this paper we present the automated proof search technique in natural deduction paracomplete logic. Here, for some statements we do not have evidence to conclude if they are true or false, as it happens in the classical framework.
Bolotov, A. +3 more
core
Fibrillar Bundles as Fibrous Filler Materials for Attaining Cell Anisotropy in Bioprinting
Advanced Healthcare Materials, EarlyView.Fibrillar bundles are introduced as a bioprintable additive that enables robust and scalable cellular alignment within 3D constructs through flow‐induced orientation during extrusion. These fibers support strong cell adhesion and polarization across various cell types and significantly enhance myotube alignment in Gelatine‐Methacryloyl (GelMA ...
Sven Heilig +10 more
wiley +1 more source
Meaning is Use: the Case of Propositional Identity
Bulletin of the Section of LogicWe study natural deduction systems for a fragment of intuitionistic logic with propositional identity from the point of view of proof-theoretic semantics.
Leonard Kupś, Szymon Chlebowski
doaj +1 more source
Chrysippus’ Logic in a Natural Deduction Setting
, 2022 Marcello D’Agostino, Mario Piazza
openalex +2 more sources
Advanced Healthcare Materials, EarlyView.PCTM microspheres were successfully synthesized using microfluidic and click chemistry techniques.In Vivo and in vitro experiments have shown that PCTM microspheres have obvious targeting, adhesion, membrane penetration and anti‐tumor properties for bladder tumors.The antitumor mechanism of PCTM microspheres is to indirectly induce S‐stage blockage of ...
Zhaoxiang Lu +4 more
wiley +1 more source
Supposition: No Problem for Bilateralism
Bulletin of the Section of LogicIn a recent paper, Nils Kürbis argues that bilateral natural deduction systems in which assertions and denials figure as hypothetical assumptions are unintelligible. In this paper, I respond to this claim on two counts.
Ryan Simonelli
doaj +1 more source
Parallelismo tra la dialettica socratica e l'e-learning
Studi sulla Formazione, 2015 What is a general methodology of science? What is a general theory of method? The article examines the two questions and summarizes the passages that connect – not only in a separate but also in a unified way – recognition, understanding, reasoning and ...
Barbara Todini
doaj +1 more source
Experiments in linear natural deduction
Theoretical Computer Science, 1997 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
MARTINI S., MASINI, Andrea
openaire +3 more sources
Formalization, Mechanization and Automation of G\"odel's Proof of God's Existence
, 2017 G\"odel's ontological proof has been analysed for the first-time with an unprecedent degree of detail and formality with the help of higher-order theorem provers. The following has been done (and in this order): A detailed natural deduction proof.
Benzmüller, Christoph +1 more
core +1 more source
Advanced Healthcare Materials, EarlyView.Ferritin‐doped hybrid nanoparticles triggered accurate tumor‐specific hemorrhage for enhanced in situ photothermal therapy and evoked anti‐tumor immunity. Notably, HFn/GA‐Fe specifically induced tumor hemorrhage 12 h after intravenous injection, resulting in visible color darkening. Through photoacoustic imaging, tumor vessels could be clearly observed
Haidong Zha +7 more
wiley +1 more source