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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2004
Highly Cited
2004
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
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 photographs, snapshots and portraits, affixed to the refrigerator or displayed in gilded frames, crammed into shoeboxes or… Expand
Highly Cited
1996
Highly Cited
1996
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
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 (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
From the Publisher: Advanced computer technology for storing and retrieving information - and the electronic "hypertext" of… Expand
Highly Cited
1984
Highly Cited
1984
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
ion Anomaly No. of No. of attributes relations mopped to mapped to target target 
  • figure 1
  • table I
Highly Cited
1981
Highly Cited
1981
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