Newsgroups: comp.ai.fuzzy
Path: cantaloupe.srv.cs.cmu.edu!nntp.club.cc.cmu.edu!hudson.lm.com!news.pop.psu.edu!news.cac.psu.edu!howland.reston.ans.net!gatech!rutgers!argos.montclair.edu!hubey
From: hubey@pegasus.montclair.edu (H. M. Hubey)
Subject: Godel-Heyting ternary logic
Message-ID: <hubey.790469138@pegasus.montclair.edu>
Sender: root@argos.montclair.edu (Operator)
Organization: SCInet @ Montclair State
Date: Wed, 18 Jan 1995 22:45:38 GMT
Lines: 21




I can't remember exactly where I got this; [it might have been
one of Rescher or the  Klir&Folger books ] but I have some notes that says
that negation for the third value, I, is F for Godel ternary
logic, and I is self-negating for Heyting ternary logic. 
Aside from this the rules for addition and multiplication
are the same.

Is the above true, or is there a typo in one of the books from
which I seem to have gotten this. Maybe the typo is in my
typing.



--

Regards, Mark

hubey@amiga.montclair.edu
