home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / sci / logic / 2073 < prev    next >
Encoding:
Text File  |  1992-11-17  |  1010 b   |  27 lines
  1. Newsgroups: sci.logic
  2. Path: sparky!uunet!charon.amdahl.com!pacbell.com!ames!agate!spool.mu.edu!sdd.hp.com!wupost!gumby!destroyer!sol.ctr.columbia.edu!ira.uka.de!ira.uka.de!rz.uni-karlsruhe.de!stepsun.uni-kl.de!uklirb!ayala
  3. From: ayala@uklirb.informatik.uni-kl.de (Mauricio Ayala R.)
  4. Subject: Re: Why invalid?  (was:  Why logic?)
  5. Message-ID: <1992Nov17.164246.18220@uklirb.informatik.uni-kl.de>
  6. Organization: University of Kaiserslautern, Germany
  7. References: <1992Nov16.091653.1@woods.ulowell.edu> <lgfubaINN7v@peaches.cs.utexas.edu>
  8. Date: Tue, 17 Nov 1992 16:42:46 GMT
  9. Lines: 16
  10.  
  11. Can anyone give me a counterexample of the following:
  12.  
  13. Let T a consistent first order theory with equality which
  14. decidable set of quatifier-free logical consequences:
  15.  
  16.   QF(T) = { B  |   t |= B, B quantifier-free }
  17.  
  18. Let A be a T-consistent quantifier-free formula.
  19. Then (T,A) is also a consistent first order logic with
  20. equality and QF(T,A) is ALSO DECIDABLE.
  21.  
  22. M. Ayala
  23. Universitaet Kaiserslautern
  24. FRG
  25. ayala@informatik.uni-kl.de
  26.  
  27.