Results 51 to 60 of about 2,869,949 (320)
A Syntactic Proof of the Decidability of First-Order Monadic Logic
Bulletin of the Section of LogicDecidability of monadic first-order classical logic was established by Löwenheim in 1915. The proof made use of a semantic argument and a purely syntactic proof has never been provided.
Eugenio Orlandelli, Matteo Tesi
doaj +1 more source
On Affine Logic and {\L}ukasiewicz Logic [PDF]
, 2014 The multi-valued logic of {\L}ukasiewicz is a substructural logic that has been widely studied and has many interesting properties. It is classical, in the sense that it admits the axiom schema of double negation, [DNE]. However, our understanding of {\L}
Arthan, Rob, Oliva, Paulo
core
Electroactive Liquid Crystal Elastomers as Soft Actuators
Advanced Functional Materials, EarlyView.Electroactive liquid crystal elastomers (eLCEs) can be actuated via electromechanical, electrochemical, or electrothermal effects. a) Electromechanical effects include Maxwell stress, electrostriction, and the electroclinic effect. b) Electrochemical effects arise from electrode redox reactions.
Yakui Deng, Min‐Hui Li
wiley +1 more source
The Logic of Self-Organized Criticality
Studia Humana, 2015 A consideration of non-classical logic in terms of classical one allows us to show a role of designated truth values. In this way we show that our version of non-classical many-valued logic can be based on the structure of genetic code.
Bakhtiyarov Kamil I.
doaj +1 more source
Filosofický časopis, 2022 In his monograph The Paradoxes of Classical Logic (Paradoxy klasickéj logiky. Filosofie a logika hypotetických vět), Vít Punčochář, in addition to an overview of classical logic, presents the paradoxes of material implication and an explanation of the ...
Gahér, František
doaj +1 more source
Formal logic: Classical problems and proofs [PDF]
, 2019 Not focusing on the history of classical logic, this book provides discussions and quotes central passages on its origins and development, namely from a philosophical perspective.
Augusto, Luis M.
core
Spectrally Tunable 2D Material‐Based Infrared Photodetectors for Intelligent Optoelectronics
Advanced Functional Materials, EarlyView.Intelligent optoelectronics through spectral engineering of 2D material‐based infrared photodetectors. Abstract The evolution of intelligent optoelectronic systems is driven by artificial intelligence (AI). However, their practical realization hinges on the ability to dynamically capture and process optical signals across a broad infrared (IR) spectrum.
Junheon Ha +18 more
wiley +1 more source
Fuzzy Logic versus Classical Logic: An Example in Multiplicative Ideal Theory
Advances in Fuzzy Systems, 2016 We discuss a fuzzy result by displaying an example that shows how a classical argument fails to work when one passes from classical logic to fuzzy logic.
Olivier A. Heubo-Kwegna
doaj +1 more source
The Need to Concentrate on Interdisciplinary in Science Classification Systems and Library-Bibliographical Classification Schemas: A Switch from Classical Logic to Fuzzy Logic [PDF]
Interdisciplinary Studies in the Humanities, 2018 Classical classification with two-value logic is the basis of most of the classification schemes, while with the emergence of interdisciplinary sciences, this has become challenging in properly determining their stance in the classification of science ...
M. Cheshmehsohrabi, F. Zarmehr
doaj +1 more source
Observation of Relativistic Domain Wall Motion in Amorphous Ferrimagnets
Advanced Functional Materials, EarlyView.Domain walls in ferrimagnets and antiferromagnets move as relativistic sine‐Gordon solitons, with the spin‐wave velocity setting their speed limit. Such relativistic domain‐wall motion is demonstrated in amorphous GdFeCo near angular momentum compensation, where current‐driven walls reach 90% of the 2 kms−1 spin‐wave speed, enabling ultrafast, device ...
Pietro Diona +3 more
wiley +1 more source