Results 41 to 50 of about 512,574 (282)
Photon Avalanching Nanoparticles: The Next Generation of Upconverting Nanomaterials?
Advanced Functional Materials, EarlyView.This Perspective outlines the mechanistic foundations that enable photon‐avalanche (PA) behavior in lanthanide nanomaterials and contrasts them with emerging application spaces and forward‐looking design strategies. By bridging threshold engineering, energy‐transfer dynamics, and materials engineering, we provide a coherent roadmap for advancing the ...
Kimoon Lee +7 more
wiley +1 more source
A modal logic amalgam of classical and intuitionistic propositional logic
, 2015 A famous result, conjectured by G\"odel in 1932 and proved by McKinsey and Tarski in 1948, says that $\varphi$ is a theorem of intuitionistic propositional logic IPC iff its G\"odel-translation $\varphi'$ is a theorem of modal logic S4. In this paper, we
Lewitzka, Steffen
core +1 more source
Advanced Functional Materials, EarlyView.The shape of guanine self‐assemblies is tuned by introducing alkyl (G8), fluoroalkyl (G8f), and oligoether (G8g) side chains into the G moiety. The scanning tunneling microscopy results and calculations show that the presence and type of the side chain strongly affect the G self‐assembly network.
So‐Huei Kang +9 more
wiley +1 more source
A specialization of definitions in common knowledge logic
Lietuvos Matematikos Rinkinys, 2011 It is known that one of main aims of specializations of derivations in nonclassical logics is the various tools which allow us to simplify the searching of termination of derivations.
Aurimas Paulius Girčys +1 more
doaj +1 more source
Компьютерная оптика, 2021 The article is dedicated to the search for a biologically motivated mechanism of the cognitive phenomenon of violation of the classical formula of total probability for the disjunction of incompatible events, which is considered by a number of ...
A.V. Pavlov
doaj +1 more source
, 2011 Four options for assigning a meaning to Islamic Logic are surveyed including a new proposal for an option named "Real Islamic Logic" (RIL). That approach to Islamic Logic should serve modern Islamic objectives in a way comparable to the functionality of ...
Bergstra, Jan Aldert
core +1 more source
, 2017 This work proposes a formulation of propositional logic, named Eigenlogic, using quantum observables as propositions. The eigenvalues of these operators are the truth-values and the associated eigenvectors the interpretations of the propositional system.
Dubois, François, Toffano, Zeno
core +3 more sources
Non-Classical Logics in Satisfiability Modulo Theories
, 2023 AbstractWe show that tableau methods for satisfiability in non-classical logics can be supported naturally in SMT solving via the framework of user-propagators. By way of demonstration, we implement the description logic $$\mathcal {ALC}$$ in the Z3 SMT solver and show that working with user-propagators allows us to significantly outperform encodings ...
Clemens Eisenhofer +3 more
openaire +1 more source
Laser‐Assisted Processing and Modification of Bioactive Glasses: A Review
Advanced Healthcare Materials, EarlyView.Laser technologies provide powerful tools to process and transform bioactive glasses for advanced biomedical applications. This review discusses laser‐matter interaction mechanisms, laser surface engineering, and laser‐assisted fabrication of scaffolds and nanofibers.
Antonio Riveiro +8 more
wiley +1 more source
LOGICS, INTERPRETATIONS AND INFORMAL RIGOR [PDF]
KriterionThe development of non-classical logics brought to light the question of their philosophical interpretation. Given a non-classical logic L, what is the informal/philosophical interpretation of its vocabulary? We find in the literature arguments defending
Edson Bezerra
doaj +1 more source