Results 101 to 110 of about 318,553 (304)
Normality Operators and Classical Collapse [PDF]
, 2018 In this paper, we extend the expressive power of the logics K3, LP and FDE with anormality operator, which is able to express whether a for-mula is assigned a classical truth value or not.
Carrara, Massimiliano, Ciuni, Roberto
core
Advanced Functional Materials, EarlyView.Modular diffractive deep neural network metasurfaces encode and reconstruct holograms across layer combinations and wavelengths, enabling secure, multifunctional operation. Each layer acts independently yet composes jointly, yielding up to m(2N −1) channels for m wavelengths and N layers.
Cherry Park +4 more
wiley +1 more source
A one-valued logic for non-one-sidedness [PDF]
, 2013 Does it make sense to employ modern logical tools for ancient philosophy? This well-known debate2 has been re-launched by the indologist Piotr Balcerowicz, questioning those who want to look at the Eastern school of Jainism with Western glasses.
Schang, Fabien
core
Advanced Functional Materials, EarlyView.Organic electrochemical transistors based on a Near‐Infrared (NIR)‐responsive polymer p(C4DPP‐T) and iodide electrolyte exhibit optically programmable negative differential transconductance. NIR illumination triggers an iodine‐mediated redox process, enabling a transition from binary to ternary conductance states within a single‐layer device.
Debdatta Panigrahi +7 more
wiley +1 more source
Approximating Propositional Calculi by Finite-valued Logics [PDF]
, 1994 The problem of approximating a propositional calculus is to find many-valued logics which are sound for the calculus (i.e., all theorems of the calculus are tautologies) with as few tautologies as possible.
Baaz, Matthias, Zach, Richard
core +1 more source
Trap‐Assisted Transport and Neuromorphic Plasticity in Lead‐Free 2D Perovskites PEA2SnI4
Advanced Functional Materials, EarlyView.An artificial retina built from lead‐free layered perovskite (PEA)2SnI4 converts light input into a persistent photocurrent and sums successive flashes over time. Micro/nanocrystals integrated on electrodes act as synapse‐like pixels that perform temporal integration directly in hardware. This in‐sensor preprocessing merges detection and computation on
Ofelia Durante +17 more
wiley +1 more source
Research progress of adulteration identification indexes for camellia seed oil
Shipin yu jixieCamellia seed oil, valued for its nutritional and economic benefits, is frequently adulterated with lower-grade oils. Additionally, its quality is influenced by multiple factors, including cultivar, geographical origin, and extraction techniques.
ZHANG Xiaofei, PENG Xinyan
doaj +1 more source
Computing multiple-valued logic programs
Mathware & soft computing, 1997 The logic of signed formula can be used to reason about a wide variety of multiple-valued logics \cite{hah94,lmr96}. The formal theoretical foundation of multiple-valued logic programming based on signed formulas is set forth in \cite{lu96}. The current paper is an investigation into the operational semantics of such signed logic programming.
Lu, James +2 more
openaire +3 more sources
n-Valued Refined Neutrosophic Logic and Its Applications to Physics [PDF]
, 2013 In this paper we present a short history of logics: from particular cases of 2-symbol or numerical valued logic to the general case of n-symbol or numerical valued logic.
Smarandache, Florentin
core +2 more sources
Coherent Integration of Databases by Abductive Logic Programming
, 2004 We introduce an abductive method for a coherent integration of independent data-sources. The idea is to compute a list of data-facts that should be inserted to the amalgamated database or retracted from it in order to restore its consistency. This method
Arieli, O. +3 more
core +1 more source