Switch to: References

Add citations

You must login to add citations.
  1. Theories with the Independence Property, Studia Logica 2010 95:379-405.Mlj van de Vel - 2010 - Studia Logica 95 (3):379-405.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark