Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 235,719,351 papers from all fields of science
Search
Sign In
Create Free Account
Literal (mathematical logic)
Known as:
Negative literal
, Pure Literal
, Literal
Expand
In mathematical logic, a literal is an atomic formula (atom) or its negation. The definition mostly appears in proof theory (of classical logic), e.g…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
21 relations
2-satisfiability
Action description language
Atomic formula
Clause (logic)
Expand
Broader (1)
Propositional calculus
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2006
2006
Case Studies as Minimalist Information
John Millar Carroll
,
M. Rosson
IEEE Transactions on Professional Communication
2006
Corpus ID: 23014573
Case studies are evocative narrative descriptions of a specific, real-world activity, event, or problem. Case-based learning is…
Expand
2005
2005
Flexible semantics for reinterpretation phenomena
Markus Egg
2005
Corpus ID: 62576145
Deriving the correct meaning of such colloquial expressions as "I am parked out back" requires a unique interaction of knowledge…
Expand
2004
2004
Design of quaternary logic gate using double pass-transistor logic with neuron MOS down literal circuit
Soojin Park
,
Byoung-Hee Yoon
,
K. Yoon
,
Heung-Soo Kim
Proceedings. 34th International Symposium on…
2004
Corpus ID: 24448111
A multi-valued logic (MVL) pass gate is an important element in configuring multi-valued logic. Multiple logical levels, which…
Expand
2004
2004
'Has the literal / intentional / textual approach to statutory interpretation been dealt the coup de grace at last?' Bato Star Fishing (Pty) Ltd v Minister of Environmental Affairs 2004 7 BCLR 687…
F. K. Mdumbe
2004
Corpus ID: 152464645
South African law of statutory interpretation continues to be characterised by inconsistency and uncertainty. This is…
Expand
1998
1998
The Impact of Metaphor on Clinical Hypothesis Formation and Perceived Supervisor Characteristics
J. S. Young
,
L. Borders
1998
Corpus ID: 39835062
An analogue methodology was used to examine clinical hypothesis formation and perceived supervisor characteristics when…
Expand
1997
1997
KGPMIN: an efficient multilevel multioutput AND-OR-XOR minimizer
S. Chattopadhyay
,
Samir Roy
,
P. P. Chaudhuri
IEEE Trans. Comput. Aided Des. Integr. Circuits…
1997
Corpus ID: 42563168
In the domain of combinational logic synthesis, logic minimization plays a vital role in determining the area and performance of…
Expand
1994
1994
Porphyry's Against the Christians: The Literary Remains
ca.ca. Porphyrios
,
R. Hoffmann
1994
Corpus ID: 41586352
Fifteen volumes long, Against the Christians was written by the Roman pagan Porphyry circa 280 and was an educated man's studied…
Expand
1992
1992
Word - based dynamic algorithms for data compression
Jeng-Shiann Jiang
,
S. Jones
1992
Corpus ID: 58526285
According to the present method of positioning a semiconductor member by examining it, an optical image of the semiconductor…
Expand
1991
1991
Elimination of Infrequent Variables Improves Average Case Performance of Satisfiability Algorithms
J. Franco
SIAM journal on computing (Print)
1991
Corpus ID: 12166207
Preprocessing a random instance I of CNF Satisfiability in order to remove infrequent variables (those which appear once or twice…
Expand
Highly Cited
1981
Highly Cited
1981
Multiple-Valued Logic Charge-Coupled Devices
H. Kerkhoff
,
Marius L. Tervoert
IEEE transactions on computers
1981
Corpus ID: 43030606
A new method to implement multiple-valued logic in large scale integrated circuits is introduced. The data are represented by…
Expand