Results 71 to 80 of about 77,874 (289)
Depicting Negation in Diagrammatic Logic: Legacy and Prospects [PDF]
, 2008 Here are considered the conditions under which the method of diagrams is liable to include non-classical logics, among which the spatial representation of non-bivalent negation.
Moktefi, Amirouche, Schang, Fabien
core
Logics of formal inconsistency arising from systems of fuzzy logic
, 2014 This paper proposes the meeting of fuzzy logic with paraconsistency in a very precise and foundational way. Specifically, in this paper we introduce expansions of the fuzzy logic MTL by means of primitive operators for consistency and inconsistency in ...
Coniglio, Marcelo +2 more
core +1 more source
Advanced Materials, EarlyView.The perspective presents an integrated view of neuromorphic technologies, from device physics to real‐time applicability, while highlighting the necessity of full‐stack co‐optimization. By outlining practical hardware‐level strategies to exploit device behavior and mitigate non‐idealities, it shows pathways for building efficient, scalable, and ...
Kapil Bhardwaj +8 more
wiley +1 more source
Phase Engineering of Nanomaterials (PEN): Evolution, Current Challenges, and Future Opportunities
Advanced Materials, EarlyView.This review summarizes the synthesis, phase transition, advanced characterization spanning ex situ to in situ and operando techniques, and diverse applications of phase engineering of nanomaterials (PEN). It further outlines key challenges and future opportunities, such as phase stability, architecture control, and artificial intelligence (AI)‐driven ...
Ye Chen +7 more
wiley +1 more source
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
Neighbourhood Structures: Bisimilarity and Basic Model Theory [PDF]
Logical Methods in Computer Science, 2009 Neighbourhood structures are the standard semantic tool used to reason about non-normal modal logics. The logic of all neighbourhood models is called classical modal logic.
Helle Hvid Hansen +2 more
doaj +1 more source
Light‐Programmable Interfaces: From Molecular Photoswitching to Adaptive Membrane Separations
Advanced Materials Interfaces, EarlyView.This review advances an interface‐centered framework for light‐responsive membranes, linking molecular photoswitches (azobenzene (AZO), spiropyran (SP), diarylethene (DAE), donor–acceptor Stenhouse adducts (DASA), photoacid) to integration strategies in polymeric, porous, self‐assembled, and mixed‐matrix systems.
Liangliang Zhang +6 more
wiley +1 more source
, 2018 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 ...
Ciardelli, Ivano, Otto, Martin
core +1 more source
Advanced Materials Technologies, EarlyView.Transducers convert physical signals into electrical and optical representations, yet each mechanism is bounded by intrinsic trade‐offs across bandwidth, sensitivity, speed, and energy. This review maps transduction mechanisms across physical scale and frequency, showing how heterogeneous integration and multiphysics co‐design transform isolated ...
Aolei Xu +8 more
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