Skip to search formSkip to main contentSkip to account menu

Literal (mathematical logic)

Known as: Negative literal, Pure Literal, Literal 
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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

21 relations
2-satisfiabilityAction description languageAtomic formulaClause (logic)

Broader (1)

Propositional calculus

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2009
Highly Cited
2009
International Human Rights and Indigenous Peoples: The Move Toward the Multicultural State
The article was written as part of the Journal’s Symposium - Comparative Analysis: Culture, Customs and Traditions of Indigenous… 
Highly Cited
2006
Highly Cited
2006
Latent Friend Mining from Blog Data
The rapid growth of blog (also known as "weblog") data provides a rich resource for social community mining. In this paper, we… 
Highly Cited
1999
Highly Cited
1999
A Study of Relevance for Learning in Deductive Databases
Highly Cited
1999
Highly Cited
1999
Finite state machine synthesis with concurrent error detection
A new synthesis technique for designing finite state machines with on-line parity checking is presented. The output logic and the… 
Highly Cited
1998
Highly Cited
1998
Resonant-tunneling diode and HEMT logic circuits with multiple thresholds and multilevel output
By using resonant-tunneling diodes (RTDs) and high electron mobility transistors (HEMTs), we implement a new class of logic… 
1994
1994
Automated logic synthesis of random pattern testable circuits
Previous approaches to designing random pattern testable circuits use post-synthesis test point insertion to eliminate random… 
Review
1992
Review
1992
Metaphor and Communication
To what extent do communicative principles constrain the comprehension of simple metaphors? We argue that the comprehension of… 
1992
1992
Reference and Computation
List of figures Foreword Preface 1. Methods and scope 2. The descriptive approach 3. First steps 4. Referring intentions and… 
Highly Cited
1988
Highly Cited
1988
Automatic data visualization for novice Pascal programmers
Presenting the data structures from proams in a gr graphical manner can significantly help programmers understand and debug their… 
Highly Cited
1974
Highly Cited
1974
ALPHARD: Toward a Language to Support Structured Programs
Abstract : This report discusses the programming language tools needed to support the expression of 'well-structured' programs… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)