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.
Review
2012
Review
2012
Understanding Plagiarism Linguistic Patterns, Textual Features, and Detection Methods
Plagiarism can be of many different natures, ranging from copying texts to adopting ideas, without giving credit to its… 
Highly Cited
2009
Highly Cited
2009
The Cult of Statistical Significance
We want to persuade you of one claim: that William Sealy Gosset (1876-1937)—aka "Student" of "Student's" t-test—was right, and… 
Highly Cited
2005
Highly Cited
2005
The information systems identity crisis
This paper presents an alternative view of the Information Systems identity crisis described recently by Benbasat and Zmud (2003… 
Highly Cited
2003
Highly Cited
2003
Literal Meaning: Introduction
Zein da (1)-en esanahia? Hori bezalako galdera inozoetatik abiatu ohi dira filosofian eztabaidarik korapilatsuenak. Hori bezalako… 
Highly Cited
1993
Highly Cited
1993
Aligning Sentences in Bilingual Corpora Using Lexical Information
In this paper, we describe a fast algorithm for aligning sentences with their translations in a bilingual corpus. Existing… 
Review
1991
Review
1991
SDL - with applications from protocol specification
Part 1 Introduction: application area the benefits of a specification language the use of a specification language about this… 
Highly Cited
1988
Highly Cited
1988
MUSTANG: state assignment of finite state machines targeting multilevel logic implementations
The problem of state assignment for synchronous finite-state machines (FSM), targeted towards multilevel combinational logic and… 
Highly Cited
1981
Highly Cited
1981
The education of Koko
Highly Cited
1980
Highly Cited
1980
Formulation of Equations of Motion for Complex Spacecraft
HE formulation of equations of motion, always an important facet of spacecraft design and performance analysis, is receiving ever… 
Highly Cited
1978
Highly Cited
1978
Interpreting Metaphors and Idioms: Some Effects of Context on Comprehension. Technical Report No. 93.
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)