Access

You are not currently logged in.

Access your personal account or get JSTOR access through your library or other institution:

login

Log in to your personal account or through your institution.

If you need an accessible version of this item please contact JSTOR User Support

A First Order Nonmonotonic Extension of Constructive Logic

David Pearce and Agustín Valverde
Studia Logica: An International Journal for Symbolic Logic
Vol. 80, No. 2/3, Negation in Constructive Logic (Jul. - Aug., 2005), pp. 321-346
Published by: Springer
Stable URL: http://www.jstor.org/stable/20016720
Page Count: 26
  • Download ($43.95)
  • Cite this Item
If you need an accessible version of this item please contact JSTOR User Support
A First Order Nonmonotonic Extension of Constructive Logic
Preview not available

Abstract

Certain extensions of Nelson's constructive logic N with strong negation have recently become important in artificial intelligence and nonmonotonic reasoning, since they yield a logical foundation for answer set programming (ASP). In this paper we look at some extensions of Nelson's first-order logic as a basis for defining nonmonotonic inference relations that underlie the answer set programming semantics. The extensions we consider are those based on 2-element, here-and-there Kripke frames. In particular, we prove completeness for first-order here-and-there logics, and their minimal strong negation extensions, for both constant and varying domains. We choose the constant domain version, which we denote by $\text{QN}_{5}^{c}$, as a basis for defining a first-order nonmonotonic extension called equilibrium logic. We establish several metatheoretic properties of $\text{QN}_{5}^{c}$, including Skolem forms and Herbrand theorems and Interpolation, and show that the first-oder version of equilibrium logic can be used as a foundation for answer set inference.

Page Thumbnails

  • Thumbnail: Page 
[321]
    [321]
  • Thumbnail: Page 
322
    322
  • Thumbnail: Page 
323
    323
  • Thumbnail: Page 
324
    324
  • Thumbnail: Page 
325
    325
  • Thumbnail: Page 
326
    326
  • Thumbnail: Page 
327
    327
  • Thumbnail: Page 
328
    328
  • Thumbnail: Page 
329
    329
  • Thumbnail: Page 
330
    330
  • Thumbnail: Page 
331
    331
  • Thumbnail: Page 
332
    332
  • Thumbnail: Page 
333
    333
  • Thumbnail: Page 
334
    334
  • Thumbnail: Page 
335
    335
  • Thumbnail: Page 
336
    336
  • Thumbnail: Page 
337
    337
  • Thumbnail: Page 
338
    338
  • Thumbnail: Page 
339
    339
  • Thumbnail: Page 
340
    340
  • Thumbnail: Page 
341
    341
  • Thumbnail: Page 
342
    342
  • Thumbnail: Page 
343
    343
  • Thumbnail: Page 
344
    344
  • Thumbnail: Page 
345
    345
  • Thumbnail: Page 
346
    346