Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Related topics

Related topics

21 relations
2-satisfiabilityAction description languageAtomic formulaClause (logic)
Expand

Broader (1)

Propositional calculus

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2004
Highly Cited
2004
Indirect Speech Acts
In this paper, we address several puzzles concerning speech acts,particularly indirect speech acts. We show how a formal… Expand
Highly Cited
1999
Highly Cited
1999
Understanding intelligence
From the Publisher: Researchers now agree that intelligence always manifests itself in behavior - thus it is behavior that we… Expand
Highly Cited
1997
Highly Cited
1997
Family Frames: Photography, Narrative and Postmemory
Family photographs, snapshots and portraits, affixed to the refrigerator or displayed in gilded frames, crammed into shoeboxes or… Expand
Highly Cited
1996
Highly Cited
1996
The Java Virtual Machine Specification
From the Publisher: The nucleus of the Java 2 platform, the Java virtual machine is the technology that enables the Java 2… Expand
  • table 2.1
  • table 2.2
  • table 2.3
  • table 4.1
  • table 4.3
Highly Cited
1992
Highly Cited
1992
Learning by Collaborating: Convergent Conceptual Change
The goal of this article is to construct an integrated approach to collaboration and conceptual change. To this end, a case of… Expand
  • figure 1
  • figure 2
  • figure 5
  • figure 6
  • figure 7
Highly Cited
1991
Highly Cited
1991
Dual coding theory and education
Dual coding theory (DCT) explains human behavior and experience in terms of dynamic associative processes that operate on a rich… Expand
  • figure 1
Highly Cited
1991
Highly Cited
1991
HyperText: The Convergence of Contemporary Critical Theory and Technology (Parallax: Re-visions of Culture and Society Series)
From the Publisher: Advanced computer technology for storing and retrieving information - and the electronic "hypertext" of… Expand
Highly Cited
1984
Highly Cited
1984
Computation and cognition - toward a foundation for cognitive science
The question, "What is Cognitive Science?" is often asked but seldom answered to anyone's satisfaction. Until now, most of the… Expand
Highly Cited
1983
Highly Cited
1983
Structure-Mapping: A Theoretical Framework for Analogy
ion Anomaly No. of No. of attributes relations mopped to mapped to target target 
  • figure 1
  • table I
Highly Cited
1981
Highly Cited
1981
Categorization and Representation of Physics Problems by Experts and Novices
The representation of physics problems in relation to the organization of physics knowledge is investigated in experts and… Expand
  • figure 1
  • figure 2
  • table 1
  • table 2
  • figure 3
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE