Theories with the Independence Property, Studia Logica 2010 95:379-405

Studia Logica 95 (3):379-405 (2010)
  Copy   BIBTEX

Abstract

A first-order theory T has the Independence Property provided deduction of a statement of type (quantifiers) (P -> (P1 or P2 or .. or Pn)) in T implies that (quantifiers) (P -> Pi) can be deduced in T for some i, 1 <= i <= n). Variants of this property have been noticed for some time in logic programming and in linear programming. We show that a first-order theory has the Independence Property for the class of basic formulas provided it can be axiomatized with Horn sentences. The existence of free models is a useful intermediate result. The independence Property is also a tool to decide that a sentence cannot be deduced. We illustrate this with the case of the classical Caratheodory theorem for Pasch-Peano geometries.

Author's Profile

Marcel L.J. Van de Vel
University of Antwerp

Analytics

Added to PP
2010-07-26

Downloads
452 (#33,354)

6 months
142 (#19,186)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?