Results 71 to 80 of about 65,816 (273)
Light‐Induced Entropy for Secure Vision
Advanced Materials, EarlyView.This work realized a ternary true random number generator by exploiting stochastic traps emerging within multiple junction interfaces, and quantitatively validated the generation of high‐quality random numbers. Furthermore, it successfully demonstrated diverse applications, including AI‐resilient image security, thereby providing a valuable guide for ...
Juhyung Seo +9 more
wiley +1 more source
Truth as a Mathematical Object
Principia: An International Journal of Epistemology, 2010 In this paper we discuss in which sense truth is considered as a mathematical object in propositional logic. After clarifying how this concept is used in classical logic, through the notions of truth-table, truth-function and bivaluation, we examine some
Jean-Yves Béziau
doaj
, 2009 The present contribution might be regarded as a kind of defense of the common sense in logic. It is demonstrated that if the classical negation is interpreted as the minimal negation with n = 2 truth values, then deviant logics can be conceived as ...
Schang, Fabien
core +1 more source
Advanced Materials, EarlyView.A green, freeform manufacturing approach that utilizes robust aqueous two‐phase systems to create intricate and scalable photonic structures and non‐planar mechanochromic hydrogel actuators from plant‐based hydroxypropyl cellulose. This approach broadens the structural possibilities of sustainable photonic devices and mechanochromic systems, offering ...
Xiao Song +14 more
wiley +1 more source
Compact propositional Gödel logics [PDF]
, 1998 Entailment in propositional Gödel logics can be defined in a natural way. While all infinite sets of truth values yield the same sets of tautologies, the entailment relations differ.
Baaz, Matthias, Zach, Richard
core +1 more source
, 2006 First-order Goedel logics are a family of infinite-valued logics where the sets of truth values V are closed subsets of [0, 1] containing both 0 and 1. Different such sets V in general determine different Goedel logics G_V (sets of those formulas which ...
Baaz +31 more
core +1 more source
2D Nanomaterials Toward Function‐Ready Superlubricity in Advanced Microsystems
Advanced Materials, EarlyView.A unified framework links structural and transformation superlubricity with microsystem functions and deployment requirements. Mechanisms, device architectures, integration strategies, AI‐guided discovery, and benchmarking protocols are connected to define function‐ready superlubricity in advanced microsystems.
Yushan Geng, Jun Yang, Yong Yang
wiley +1 more source
Two Principles in Many-Valued Logic [PDF]
, 2014 Classically, two propositions are logically equivalent precisely when they are true under the same logical valuations. Also, two logical valuations are distinct if, and only if, there is a formula that is true according to one valuation, and false according to the other.
S. Aguzzoli, V. Marra
openaire +2 more sources
Advanced Materials, EarlyView.An overview of design principles and scalable fabrication strategies for multifunctional bio‐based packaging. Radiative cooling films, modified‐atmosphere films/membranes, active antimicrobial/antioxidant platforms, intelligent optical/electrochemical labels, and superhydrophobic surfaces are co‐engineered from material chemistry to mesoscale structure
Lei Zhang +6 more
wiley +1 more source
A five-valued logic and a system
Journal of Computer Science and Technology, 2004 The present article introduces a five-valued logic and a deductive system. Here, the logic presented is a relevant fragment of the @-logic, which is also a space-time logic. These five values correspond to the following semantics: unknown, possibly known
Ulisses Ferreira
doaj