Results 11 to 20 of about 3,083 (212)
Optics-Enabled Highly Scalable Inverter for Multi-Valued Logic. [PDF]
Advancements in AI applications intensify the interconnect bottleneck of binary logic. To address this, a multi‐valued logic (MVL) architecture increases information density. However, current MVL faces scalability challenges, particularly with radix >$>$ 3.
Kaushal S +5 more
europepmc +2 more sources
The paper explores properties of Łukasiewicz mu-calculus, a version of the quantitative/probabilistic modal mu-calculus containing both weak and strong conjunctions and disjunctions from Łukasiewicz (fuzzy) logic. We show that this logic encodes the well-
Matteo Mio, Alex Simpson
doaj +1 more source
The Conception of Logic in the Cracow Circle: Salamucha, Drewnowski, Bocheński
The aim of this paper is to present and analyse the views on logic of the members of the so-called Cracow Circle, namely the Dominican Father Józef (Innocenty) M. Bocheński, Rev. Jan Salamucha, and Jan Franciszek Drewnowski.
Roman Murawski
doaj +1 more source
Mutually Exclusive Nuances of Truth in Moisil Logic [PDF]
Moisil logic, having as algebraic counterpart Łukasiewicz-Moisil algebras, provides an alternative way to reason about vague information based on the following principle: a many-valued event is characterized by a family of Boolean events.
D. Diaconescu, I. Leuștean
doaj +1 more source
Ternary Łukasiewicz logic using memristive devices
Memristive devices based on the Valence Change Mechanism (VCM) are promising devices for storage class memory, neuromorphic computing and logic-in-memory (LIM) applications.
Christopher Bengel +7 more
doaj +1 more source
On Jan Łukasiewicz’s many-valued logic and his criticism of determinism
The article deals with Jan Łukasiewicz’s thesis that the truth or falsity of some propositions about the future—future contingents—entails determinism.
Dariusz Łukasiewicz
doaj +1 more source
Fuzzy parallel dynamical systems on Zadeh operators
In this paper, we describe the orbital structure of homogeneous fuzzy parallel dynamical systems on Zadeh operators. In particular, we show that, when the (global) evolution operator is either the Zadeh conjunction operator AND or the Zadeh disjunction operator OR, all the points of the system are fixed points or eventually fixed points.
Juan A. Aledo +3 more
wiley +1 more source
Comprehensive survey of ternary full adders: Statistics, corrections, and assessments
This paper conducts a survey of the existing logic families for ternary adders. It tried to address and clarify some problematic issues existing in the previous papers as well as provide statistical and technical information about design strategies utilised in the literature.
Sarina Nemati +2 more
wiley +1 more source
Multiattribute decision‐making (MADM) approach is an effective method for handling ambiguous information in a practical situation. The process of the MADM technique has drawn a lot of interest from various academic and selection processes of extensive analysis.
Abrar Hussain +5 more
wiley +1 more source
Abstract The background of this paper (section 1) consists in a new account to foundation‐theoretic epistemology characterized by two features: (i) All beliefs are to be justified by deductive, inductive or abductive inferences from a minimalistic class of unproblematic (introspective or analytic) basic beliefs.
Gerhard Schurz
wiley +1 more source

