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… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2009
2009
Your use of the JSTOR archive indicates your acceptance of JSTOR's Terms and Conditions of Use, available at http://www.jstor.org… (More)
Is this relevant?
Highly Cited
2008
Highly Cited
2008
Syntax DL Syntax Example Descriptions (C) A (URI reference) A Conference owl:Thing > owl:Nothing ⊥ intersectionOf(C1 C2 . . .) C1… (More)
  • table 1
  • table 3
  • table 2
  • table 4
  • figure 1
Is this relevant?
Highly Cited
2005
Highly Cited
2005
We present three studies in mobile learning. First, we polled 333 Japanese university students regarding their use of mobile… (More)
  • table 1
  • table 2
  • table 4
  • table 3
  • table 5
Is this relevant?
Highly Cited
2004
Highly Cited
2004
We study the notion of Compressed Sensing (CS) as put forward in [14] and related work [20, 3, 4]. The basic idea behind CS is… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1998
Highly Cited
1998
The Constraint Logic Programming (CLP) Scheme was introduced by Ja€ar and Lassez. The scheme gave a formal framework, based on… (More)
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
1997
Highly Cited
1997
perspective, labels represent an extra `informational resource' which is present in deduction and can play a variety of roles… (More)
Is this relevant?
Highly Cited
1997
Highly Cited
1997
Minding the Body, the Primordial Communication Medium Embodiment: The Teleology of Interface Design Embodiment: Thinking through… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
1996
Highly Cited
1996
The semantics of predicate logic as a programming language. Every logic program has a natural stratiication and an iterated least… (More)
Is this relevant?
Highly Cited
1990
Highly Cited
1990
Recently there has been increasing interest in systems which induce rst order logic programs from examples. However, many… (More)
Is this relevant?
Highly Cited
1979
Highly Cited
1979
Hitherto, theories of similarity have restricted themselves to judgments of what might be called literal similarity. A central… (More)
Is this relevant?