Results 31 to 40 of about 923,849 (196)
ریاضی و جامعهThis article employs a descriptive-analytical method with an algebraic and axiomatic approach to address quantum logic. Through several thought experiments, it is demonstrated that the distributive law for propositions does not hold in quantum mechanics.
Alireza Moazzen
doaj +1 more source
Varieties of unary-determined distributive $\ell$-magmas and bunched implication algebras [PDF]
Logical Methods in Computer ScienceA distributive lattice-ordered magma ($d\ell$-magma) $(A,\wedge,\vee,\cdot)$ is a distributive lattice with a binary operation $\cdot$ that preserves joins in both arguments, and when $\cdot$ is associative then $(A,\vee,\cdot)$ is an idempotent semiring.
Natanael Alpay +2 more
doaj +1 more source
On Relationships of Filters in Lattice Implication Algebra
, 2007 In this paper, we focus on the properties of filters in lattice implication algebra. We study the relationship of associative filter and implicative filter, n-fold associative filter and n-fold implicative filter in detail. And a sufficient condition of involution filter in lattice implication algebra is proved. Then the relationship of some filters is
Jiajun Lai +4 more
openaire +2 more sources
A Decision Making Approach with Linguistic Weight and Unavoidable Incomparable Ranking
International Journal of Computational Intelligence Systems, 2019 In order to deal with the decision making problem including some linguistic values uncertainty information, we propose an approach for decision making with linguistic weighted and unavoidable incomparable ranking based on Linguistic-valued lattice ...
Yunxia Zhang +3 more
doaj +1 more source
Advanced Science, EarlyView.A conversion‐resolved constitutive framework is developed for the hydrogen‐based direct reduction of iron oxide pellets. Effective reaction and transport timescales are inferred directly from measured trajectories and mapped against operating conditions, pellet architecture, and composition. The analysis reveals how late‐stage transport control emerges
Anurag Bajpai +3 more
wiley +1 more source
Non-Clausal Multi-ary α-Generalized Resolution Calculus for a Finite Lattice-Valued Logic
International Journal of Computational Intelligence Systems, 2018 Due to the need of the logical foundation for uncertain information processing, development of efficient automated reasoning system based on non-classical logics is always an active research area.
Yang Xu +4 more
doaj +1 more source
Symmetry‐Imposed Selection Rules for Excitations of Nontrivial Plasmonic Topologies
Advanced Science, EarlyView.A unified group‐theory selection rule governs the excitation of vectorial nearfield topologies across three plasmonic spin states. Derived from first principles, it predicts spin–orbit vortex splitting and multidimensional nested vortices, confirmed by phase‐resolved in situ measurements.
Jie Yang +14 more
wiley +1 more source
Advanced Science, EarlyView.Sr1−xBaxCo2V2O8 is established as a magnetic‐ion‐based proper displacive ferroelectric whose transition is continuously suppressed by Ba substitution to a ferroelectric quantum critical point. In the resulting quantum paraelectric regime, a transverse magnetic field induces magnetic quantum criticality, realizing multiferroic quantum criticality and ...
Takayuki Nagai +3 more
wiley +1 more source
The Lattice of Varieties of Implication Semigroups [PDF]
, 2020 An implication semigroup is an algebra of type (2, 0) with a binary operation → and a 0-ary operation 0 satisfying the identities (x→ y) → z≈ x→ (y→ z) , (x→y)→z≈[(z′→x)→(y→z)′]′ and 0 ′′≈ 0 where u′ means u→ 0 for any term u.
Sankappanavar, H. P. +2 more
core +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