Results 251 to 260 of about 375,050 (296)

Logic-gating the HaloTag system with Conditional-Halo-ligator ‘CHalo’ reagents

Mauker P, Zecha CB, Dessen-Weissenhorn L, Román-Albasini L, Meiring JC, Brandmeier JI, Beckmann D, Prohaska JP, Reynders M, Li YL, Mrug K, von Schwerin H, Vepřek NA, Gaisbauer JF, Dehmelt L, Nalbant P, Zenker J, Akhmanova A, Kerschensteiner M, Harbauer AB, Thorn-Seshold J, Thorn-Seshold O.   +21 more
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Three-valued logic

Philosophical Studies, 1957
Let us make up a logic in which there are three truth-values, T, F, and “M,” instead of the two truth-values T and F. And, instead of the usual rules, let us adopt the following: (a) If either component in a disjunction is true (“T”), the disjunction is true; if both components are false, the disjunction is false (“F”); and in all other cases ...
openaire   +2 more sources

Three-valued Brouwer-zadeh logic

International Journal of Theoretical Physics, 1993
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +4 more sources

Algebraization of the Three-valued BCK-logic

MLQ, 2002
In this paper, the authors propose a definition of \(n\)-valued system in the context of algebraizable logics. They define and study the variety \(V_3\), showing that it is definitionally equivalent to the equivalent quasivariety semantics for three-valued BCK-logic. As a consequence, the authors find an axiomatic definition of the above system.
Antonio J. Rodríguez Salas, Francisco M. García Olmedo   +1 more
openaire   +3 more sources

Three-Valued Logics for Inconsistency Handling

2002
While three-valued paraconsistent logic is a valuable framework for reasoning under inconsistency, the corresponding basic inference relation is too cautious and fails in discriminating in a fine-grained way the set of expected consequences of belief bases. To address both issues, we point out more refined inference relations.
Konieczny, Sébastien, Marquis, Pierre
openaire   +3 more sources

Three-valued nonmonotonic logic

[1993] Proceedings of the Twenty-Third International Symposium on Multiple-Valued Logic, 2002
The three-valued formulation of nonmonotonic logics is established. It is shown how to extend standard nonmonotonic logics to the three-valued case. It is also shown that a three-valued nonmonotonic logic called maximally ignorant (MI) logic can capture various major standard nonmonotonic logics as its special cases.
openaire   +2 more sources

A Note on Three-Valued Logic Simulation

IEEE Transactions on Computers, 1972
In this note we discuss a few attributes and pitfalls of three-valued (0, 1, u) digital logic simulation. The areas covered include hazard and race detection, fault detection, verifying the reset logic of a machine, and the problems encountered with self-timing circuits and in employing a complement for u.
openaire   +2 more sources

A family of three-valued autoepistemic logics

1991
A unifying semantic framework for 2 and 3-valued autoepistemic logics is introduced. For instance, the logics introduced in [8] and [2] belong to this framework. All the logics that derive from the framework enjoy the usual stability properties of autoepistemic logics.
openaire   +3 more sources

On the consistency of a three-valued logical calculus

Topoi, 1984
[This resume was published in English in Matematicheskii Sbornik along with the article.] The present paper contains an investigation of a three-valued logical calculus (the Σ system) previously described by the author [Recueil Mathematique 4 (46), 2 (1938)].
openaire   +3 more sources