Results 41 to 50 of about 3,431 (233)
Logic TK: Algebraic Notions from Tarski’s Consequence Operator
Principia: An International Journal of Epistemology, 2010 Tarski presented his definition of consequence operator to explain the most important notions which any logical consequence concept must contemplate. A Tarski space is a pair constituted by a nonempty set and a consequence operator.
Hércules A. Feitosa +2 more
doaj +3 more sources
Lifting Results for Finite Dimensions to the Transfinite in Systems of Varieties Using Ultraproducts
Bulletin of the Section of LogicWe redefine a system of varieties definable by a schema of equations to include finite dimensions. Then we present a technique using ultraproducts enabling one to lift results proved for every finite dimension to the transfinite.
Tarek Sayed Ahmed
doaj +1 more source
FROM BOOLE’S LOGIC TO BOOLEAN APPLICATIONS IN COMPUTER SCIENCE
Освітній дискурс, 2021 Urgency of the research. We consider crucial to distinguish between the original Boole’s logic and its modern development as Boolean logic in order to understand their theoretical and applied capacities.
Mohamad Awwad
doaj +1 more source
SPICE‐Compatible Compact Modeling of Cuprate‐Based Memristors Across a Wide Temperature Range
Advanced Electronic Materials, EarlyView.A physics‐guided compact model for YBCO memristors is introduced, incorporating carrier trapping, field‐induced detrapping, and a differential balance equation to describe their switching dynamics. The model is compared with experiments and implemented in LTspice, allowing realistic circuit‐level simulations.
Thomas Günkel +6 more
wiley +1 more source
On the logic of continuous algebras.
Notre Dame Journal of Formal Logic, 1988 The paper is concerned with the logic of inequalities appropriate for continuous algebras. Deduction rules are given for separately Z- continuous algebras and also for Z-continuous algebras. The main content of the paper is the investigation of the completeness theorems for these deduction rules, i.e., the theorems stating that an inequality is ...
Adámek, Jiří +3 more
openaire +2 more sources
Agribusiness, EarlyView.ABSTRACT Innovation is essential for competitiveness in agribusiness facing dynamic environments. This study examines how market orientation, marketing, relational, and social capabilities influence innovation performance. Using data from 751 Spanish firms and a multi‐method approach that integrates Structural Equation Modeling (PLS‐SEM), Necessary ...
Beatriz Corchuelo Martínez‐Azúa +1 more
wiley +1 more source
AI in chemical engineering: From promise to practice
AIChE Journal, Volume 72, Issue 7, July 2026.Abstract Artificial intelligence (AI) in chemical engineering has moved from promise to practice: physics‐aware (gray‐box) models are gaining traction, reinforcement learning complements model predictive control (MPC), and generative AI powers documentation, digitization, and safety workflows.
Jia Wei Chew +4 more
wiley +1 more source
SYNTHESIS METHODS OF ALGEBRAIC NORMAL FORM OF MANY-VALUED LOGIC FUNCTIONS
Системный анализ и прикладная информатика, 2016 The rapid development of methods of error-correcting coding, cryptography, and signal synthesis theory based on the principles of many-valued logic determines the need for a more detailed study of the forms of representation of functions of many-valued ...
A. V. Sokolov +2 more
doaj
Towards Algebraic Separation Logic [PDF]
, 2009 We present an algebraic approach to separation logic. In particular, we give algebraic characterisations for all constructs of separation logic. The algebraic view does not only yield new insights on separation logic but also shortens proofs and enables the use of automated theorem provers for verifying properties at a more abstract level.
Dang, Han Hing +2 more
openaire +3 more sources
AIChE Journal, EarlyView.ABSTRACT Hybrid modeling combines first‐principles equations with a data‐driven subcomponent. Training for the data‐driven part is sensitive to measurement noise when training targets are constructed using pointwise time derivatives. Beyond differentiation errors, hybrid models involve solving an inverse problem to estimate the data‐driven term, which ...
Hangjun Cho +4 more
wiley +1 more source