Results 41 to 50 of about 375,050 (296)
Four-valued expansions of Dunn-Belnap's logic (I): Basic characterizations
Basic results of the paper are that any four-valued expansion L4 of Dunn-Belnap's logic DB4 is de_ned by a unique (up to isomorphism) conjunctive matrix ā³4 with exactly two distinguished values over an expansion š4 of a De Morgan non-Boolean four-valued ...
Alexej P. Pynko
doaj +1 more source
A temporal semantics for Nilpotent Minimum logic
In [Ban97] a connection among rough sets (in particular, pre-rough algebras) and three-valued {\L}ukasiewicz logic {\L}3 is pointed out. In this paper we present a temporal like semantics for Nilpotent Minimum logic NM ([Fod95, EG01]), in which the logic
Bianchi, Matteo
core +1 more source
A three-valued photoelectrochemical logic device realising accept anything and consensus operations [PDF]
A new application of a hybrid material exhibiting the photoelectro-chemical photocurrent switching (peps) effect in a three-valued logic device is reported.
Oszajca, M. +3 more
core +1 more source
Borderline vs. unknown: comparing three-valued representations of imperfect information [PDF]
International audienceIn this paper we compare the expressive power of elementary representation formats for vague, incomplete or conflicting information.
Adams +46 more
core +10 more sources
Eigenlogic: a Quantum View for Multiple-Valued and Fuzzy Systems
We propose a matrix model for two- and many-valued logic using families of observables in Hilbert space, the eigenvalues give the truth values of logical propositions where the atomic input proposition cases are represented by the respective eigenvectors.
D Aerts +10 more
core +4 more sources
Many-valued logics. A mathematical and computational introduction. [PDF]
2nd edition. Many-valued logics are those logics that have more than the two classical truth values, to wit, true and false; in fact, they can have from three to infinitely many truth values.
Augusto, Luis M.
core
KLEENEāS THREE VALUED LOGICS AND THEIR CHILDREN [PDF]
The author proposes to add a suitable connective, the guard connective, to Belnap's four-valued logic [\textit{N. D. Belnap jun.}, Mod. uses of multiple-valued logic, 5th Int. Symp. Bloomington 1975, 5-37 (1977; Zbl 0417.03009)]. The resulting logic extends in a natural way Kleene's strong logic, Kleene's weak logic [\textit{S. C. Kleene}, Introduction
openaire +4 more sources
This study integrates transcriptomic profiling of matched tumor and healthy tissues from 32 colorectal cancer patients with functional validation in patientāderived organoids, revealing dysregulated metabolic programs driven by overexpressed xCT (SLC7A11) and SLC3A2, identifying an oncogenic cystine/glutamate transporter signature linked to ...
Marco Strecker +16 more
wiley +1 more source
Conditions of applicability of classical logic to philosophical reasoning
. The conditions for the applicability of the classical logic of statements to philosophical reasonings are investigated. This research is carried out within the framework of various semantics for many-valued logics.
S A Pavlov
doaj +1 more source
The power of qutrits for non-adaptive measurement-based quantum computing
Non-locality is not only one of the most prominent quantum features but can also serve as a resource for various information-theoretical tasks. Analysing it from an information-theoretical perspective has linked it to applications such as non-adaptive ...
Jelena Mackeprang +3 more
doaj +1 more source

