home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #26 / NN_1992_26.iso / spool / sci / math / 14858 < prev    next >
Encoding:
Text File  |  1992-11-12  |  1.2 KB  |  32 lines
  1. Newsgroups: sci.math
  2. Path: sparky!uunet!gumby!destroyer!wsu-cs!trace.eng.wayne.edu!uds
  3. From: uds@trace.eng.wayne.edu (Seetamraju Udaybhaskar)
  4. Subject: Re: Functions for n-valued logic
  5. Message-ID: <1992Nov12.213814.15752@cs.wayne.edu>
  6. Keywords: n-valued logic
  7. Sender: usenet@cs.wayne.edu (Usenet News)
  8. Reply-To: uds@trace.eng.wayne.edu (Seetamraju Udaybhaskar)
  9. Organization: Wayne State University, Detroit
  10. References: <1992Nov12.161637.20049@ghost.dsi.unimi.it>
  11. Distribution:  world
  12. Date: Thu, 12 Nov 1992 21:38:14 GMT
  13. Lines: 17
  14.  
  15. In article <1992Nov12.161637.20049@ghost.dsi.unimi.it> lombardo@ghost.dsi.unimi.it (franco lombardo) writes:
  16. >
  17. >i have a function f:{0,1/2,1}^3--->{0,1/2,1}^3 completely described
  18. >by a table and i  want to express it using the operators of
  19. >a three-valued Lukasiewicz logic: and, or, not and
  20. >Lukasiewicz implication.
  21.  
  22. The function maps its domain onto itself...
  23.  
  24. Draw up a lattice, with 3^3 points.  Draw the arrows, and check if
  25. every point can be represented as variations of the supremum
  26. and infremum operators...  The variations will be clearly based on
  27. and/OR/NOT operators...
  28.  
  29. This is a generalized idea for any sort of table U have...
  30.  
  31. (For lattices, look up partially ordered set theory (PO-set theory))...
  32.