Results 61 to 70 of about 11,095,469 (278)
Labelled Calculi for Quantified Modal Logics with Non-rigid and Non-denoting Terms [PDF]
, 2018 We introduce labelled sequent calculi for quantified modal logics with non-rigid and non-denoting terms. We prove that these calculi have the good structural properties of G3-style calculi.
giovanna corsi, Eugenio Orlandelli
core +1 more source
Bisimulation in Inquisitive Modal Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Inquisitive modal logic, InqML, is a generalisation of standard Kripke-style modal logic. In its epistemic incarnation, it extends standard epistemic logic to capture not just the information that agents have, but also the questions that they are ...
Ivano Ciardelli, Martin Otto
doaj +1 more source
Advanced Functional Materials, EarlyView.This Perspective highlights atom probe tomography as a powerful tool for understanding the atomic‐scale defect chemistry in HfO2‐based ferroelectrics. 3D mapping of dopants, point defects, and interface chemistry can provide new insight into defect‐driven mechanisms underpinning the ferroelectricity in the system and guide the design of more reliable ...
Kasper Hunnestad +3 more
wiley +1 more source
Analytical Tableaux For Da Costás Hierarchy Of Paraconsistent Logics Cn, 1≤n<ω1
, 2015 In this paper we present a new hierarchy of analytical tableaux systems TNDCn, 1≤n<ω, for da Costás hierarchy of propositional paraconsistent logics Cn, 1≤n<ω. In our tableaux formulation, we introduce da Costás "ball" operator "o", the generalized
Castro M.A.D., D'Ottaviano I.M.L.
core +1 more source
Exact Unification and Admissibility [PDF]
Logical Methods in Computer Science, 2015 A new hierarchy of "exact" unification types is introduced, motivated by the study of admissible rules for equational classes and non-classical logics.
George Metcalfe, Leonardo Cabrer
doaj +1 more source
Quantum Immortality and Non-Classical Logic
FLAP, 2020 The Everett Box is a device in which an observer and a lethal quantum apparatus are isolated from the rest of the universe. On a regular basis, successive trials occur, in each of which an automatic measurement of a quantum superposition inside the apparatus either causes instant death or does nothing to the observer.
openaire +3 more sources
Advanced Functional Materials, EarlyView.The physical realization of artificial neurons is a critical challenge for energy‐efficient neuromorphic computing. This review presents a comprehensive analysis of the evolution of artificial neuron implementations from conventional CMOS to emerging post‐CMOS technologies.
Kannan Udaya Mohanan +4 more
wiley +1 more source
Physics‐Grounded Materials Artificial Intelligence for Reliable Materials Discovery
Advanced Functional Materials, EarlyView.Physics‐Grounded Materials AI (PhysMat AI) integrates physical priors, descriptors, constraints, verification, and data infrastructure into a unified full‐stack framework, enabling reliable, interpretable, and autonomous AI‐driven materials discovery.
Yuhang Wang +3 more
wiley +1 more source
Advanced Functional Materials, EarlyView.Advanced ink systems for solution‐processed textile triboelectric nanogenerators are systematically summarized, spanning conductive, tribo‐negative, and tribo‐positive layers. By connecting ink chemistry, deposition methods, and device function, the present review reveals the key governing principles of solution development and highlights practical ...
Xinlong Sun, Stephen Beeby
wiley +1 more source