Results 101 to 110 of about 1,435,923 (372)
Nicolai Vasiliev’s Imaginary Logic and Semantic Foundations for the Logic of Assent
Philosophia Scientiæ, 2014 The Russian philosopher Nicolai Vasiliev is known as a forerunner of substantially non-classical logics, i.e., logics that differ from classical logic by dropping principles that are sound in classical logic.
Werner Stelzner
doaj +1 more source
Compactness of first-order fuzzy logics
, 2019 One of the nice properties of the first-order logic is the compactness of satisfiability. It state that a finitely satisfiable theory is satisfiable.
Khatami, Seyed Mohammad Amin
core
Many Valued Generalised Quantifiers for Natural Language in the DisCoCat Model [PDF]
, 2016 DisCoCat refers to the Categorical compositional distributional model of natural language, which combines the statistical vector space models of words with the compositional logic-based models of grammar.
Dostal, Matej, Sadrzadeh, Mehrnoosh
core
Advanced Healthcare Materials, EarlyView.Membrane fusion‐inspired nanomaterials offer transformative potential in diagnostics by mimicking natural fusion processes to achieve highly sensitive and specific detection of disease biomarkers. This review highlights recent advancements in nanomaterial functionalization strategies, signal amplification systems, and stimuli‐responsive fusion designs,
Sojeong Lee +9 more
wiley +1 more source
Two Principles in Many-Valued Logic [PDF]
, 2014 Classically, two propositions are logically equivalent precisely when they are true under the same logical valuations. Also, two logical valuations are distinct if, and only if, there is a formula that is true according to one valuation, and false according to the other.
S. Aguzzoli, V. Marra
openaire +2 more sources
Advanced Healthcare Materials, EarlyView.This study introduces an innovative approach to treating intervertebral disc degeneration using ultrasound‐triggered in situ hydrogel formation. Proof‐of‐concept experiments using optimized biomaterial and ultrasound parameters demonstrate partial restoration of biomechanical function and successful integration into degenerated disc tissue, offering a ...
Veerle A. Brans +11 more
wiley +1 more source
On Affine Logic and {\L}ukasiewicz Logic [PDF]
, 2014 The multi-valued logic of {\L}ukasiewicz is a substructural logic that has been widely studied and has many interesting properties. It is classical, in the sense that it admits the axiom schema of double negation, [DNE]. However, our understanding of {\L}
Arthan, Rob, Oliva, Paulo
core
Advanced Healthcare Materials, EarlyView.Antimicrobial peptide (AMP)‐loaded nanocarriers provide a multifunctional strategy to combat drug‐resistant Mycobacterium tuberculosis. By enhancing intracellular delivery, bypassing efflux pumps, and disrupting bacterial membranes, this platform restores phagolysosome fusion and macrophage function.
Christian S. Carnero Canales +11 more
wiley +1 more source
From Many-Valued Consequence to Many-Valued Connectives
, 2019 Given a consequence relation in many-valued logic, what connectives can be defined? For instance, does there always exist a conditional operator internalizing the consequence relation, and which form should it take?
Chemla, Emmanuel, Egré, Paul
core +3 more sources
The method for synthesis of high-quality s-boxes based on many-valued logic functions
, 2022 V.V. Radush, A.V. Sokolov
openalex +1 more source