Results 71 to 80 of about 11,095,469 (278)
Basis of Globally Admissible Rules for Logic S4
Известия Иркутского государственного университета: Серия "Математика"Setting the basic rules of inference is fundamental to logic. The most general variant of possible inference rules are admissible inference rules:in logic $L$, a rule of inference is admissible if the set of theorems $L$ is closed with respect to this ...
V.V. Rimatskiy
doaj +1 more source
Interpolation in Non-Classical Logics
CoRRThis is a chapter of the forthcoming book "Theory and Applications of Craig Interpolation", edited by Balder ten Cate, Jean Christoph Jung, Patrick Koopmann, Christoph Wernhard and Frank ...
openaire +3 more sources
Architecture‐Driven Functional Coupling in Vertically Aligned Nanocomposites
Advanced Functional Materials, EarlyView.Vertically aligned nanocomposites define a growth‐engineered architecture in which vertical interfaces, strain fields, defect pathways, and phase connectivity are created simultaneously. This review shows how these architectural features couple ferroic, optical, ionic, electrochemical, and device responses, establishing design rules and open challenges
Md Shatil Islam‐Shanto +4 more
wiley +1 more source
Deciding the Existence of Interpolants and Definitions in First-Order Modal Logic [PDF]
Logical Methods in Computer ScienceNone of the first-order modal logics between $\mathsf{K}$ and $\mathsf{S5}$ under the constant domain semantics enjoys Craig interpolation or projective Beth definability, even in the language restricted to a single individual variable.
Agi Kurucz +2 more
doaj +1 more source
Translation Methods for Non-Classical Logics: An Overview [PDF]
Logic Journal of IGPL, 1993 This paper gives an overview on translation methods the author has developed for nonclassical logics, in particular for modal logics. Optimized `functional' and semi-functional translation into predicate logic is described. Using normal modal logic as an intermediate logic, other logics can be translated into predicate logic as well. As an example, the
openaire +3 more sources
Covalent Functionalization of 2D Semiconductors: A Roadmap to Advanced Electronic Devices
Advanced Functional Materials, EarlyView.This Review presents recent advances in the covalent functionalization strategies for two‐dimensional semiconductors and their implementation in modern technologies. Layered materials are modified through diverse molecular chemistries (e.g., thiols, diazonium salts, alkyl halides, and electron‐deficient species) to tailor their surface properties ...
Ramiro Quirós‐Ovies +2 more
wiley +1 more source
Advanced Functional Materials, EarlyView.Nitride MXenes remain constrained by a persistent gap between computational prediction and experimental realization. This Review identifies the thermodynamic, kinetic, and chemical barriers limiting their synthesis, critically evaluates emerging fabrication routes, and proposes a multidimensional computational‐experimental framework to accelerate the ...
Naresh Varnakavi, Masoud Soroush
wiley +1 more source
Kripke-Style Models for Logics of Evidence and Truth
Axioms, 2020 In this paper, we propose Kripke-style models for the logics of evidence and truth LETJ and LETF. These logics extend, respectively, Nelson’s logic N4 and the logic of first-degree entailment (FDE) with a classicality operator ∘ that recovers classical ...
Henrique Antunes +3 more
doaj +1 more source
Advanced Healthcare Materials, EarlyView.Conventional therapies suffer from poor blood–brain barrier (BBB) penetration and disordered ion/reactive oxygen species (ROS) homeostasis, hindering precise neurological treatment. Electrochemical strategies achieve accurate spatiotemporal regulation of neural homeostasis.
Xiaokang Hu +5 more
wiley +1 more source
Compactness in non-classical logics [PDF]
, 2010 This work systematically studies the concept of compactness in classical propositional logic as well as various concepts of compactness and their relation to different notions of completeness in the framework of the general theory of consequence ...
Ivaničová, Petra
core +1 more source