Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 236,570,916 papers from all fields of science
Search
Sign In
Create Free Account
Three-valued logic
Known as:
Triple-value logic
, Triple-valued logic
, Trinary logic
Expand
In logic, a three-valued logic (also trinary logic, trivalent, ternary, or trilean, sometimes abbreviated 3VL) is any of several many-valued logic…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
21 relations
Balanced ternary
Boolean algebra
Codd's theorem
Exclusive or
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Design of an optimized Reversible Ternary and Binary Bidirectional and Normalization Barrel Shifters for Floating Point Arithmetic
S. Gorgin
,
I. Hashmi
2012
Corpus ID: 13892981
One of the most challenging issues in circuit design is power consumption. Designing circuit using reversible logic is one of the…
Expand
Review
2012
Review
2012
Multi-Valued Logic Applications in the Design of Switching Circuits
P. Deshmukh
2012
Corpus ID: 2711312
In this paper we review the development & advantages of multi valued logic. The multi valued logic has been object of research…
Expand
2009
2009
Ternary Logic by 3rd Subharmonics and its Application to Multiway Switches
T. Soma
,
T. Soma
IEEE International Symposium on Multiple-Valued…
2009
Corpus ID: 206989344
A parametron-like ternary logic element utilizing 3rd subharmonic oscillation and 3-cycle excitation is considered. By…
Expand
2002
2002
Semantic minimization of 3-valued propositional formulae
T. Reps
,
Alexey Loginov
,
Shmuel Sagiv
Proceedings 17th Annual IEEE Symposium on Logic…
2002
Corpus ID: 8451238
This paper presents an algorithm for a non-standard logic-minimization problem that arises in 3-valued propositional logic. The…
Expand
2002
2002
A note on Lukasiewicz’s three-valued logic
Pierluigi Minari
2002
Corpus ID: 120558845
It is well known that Lukasiewicz’s three-valued-logic L3 admits – unlike classical logic – the definition of two non trivial…
Expand
1996
1996
A Three-Valued Approach to Default Logic
A. Radzikowska
J. Appl. Non Class. Logics
1996
Corpus ID: 39818557
ABSTRACT In this paper we present a new, three-valued approach to default logic, DL3. We employ the Lukasiewicz three-valued…
Expand
1994
1994
Modalities in Vector Logic
E. Mizraji
Notre Dame J. Formal Log.
1994
Corpus ID: 16095304
Vector logic is a mathematical model of logic in which the truth values are mapped on elements of a vector space. The binary…
Expand
1993
1993
A method of program refinement
J. Grundy
1993
Corpus ID: 43507727
1990
1990
Boundary surfaces in sequential circuits
V. Spány
,
L. Pivka
International journal of circuit theory and…
1990
Corpus ID: 5090727
One of the most important tasks in the analysis of a non-linear system is lo determine its global behaviour and, in particular…
Expand
1962
1962
The determination of all Sheffer functions in 3-valued logic, using a logical computer
E. Foxley
Notre Dame J. Formal Log.
1962
Corpus ID: 34890967
This paper describes the method by which the results of a paper by Martin were used to enable the set of all Sheffer functions in…
Expand