Path: utzoo!utgpu!water!watmath!clyde!att!osu-cis!tut.cis.ohio-state.edu!mailrus!cornell!uw-beaver!teknowledge-vaxc!sri-unix!quintus!ok
From: ok@quintus.uucp (Richard A. O'Keefe)
Newsgroups: comp.lang.fortran
Subject: Re: intrinsic functions, math operators (was: i++, i+=1, i=i+1)
Message-ID: <464@quintus.UUCP>
Date: 23 Sep 88 01:23:36 GMT
References: <457@quintus.UUCP> <3960@lanl.gov>
Sender: news@quintus.UUCP
Reply-To: ok@quintus.UUCP (Richard A. O'Keefe)
Organization: Quintus Computer Systems, Inc.
Lines: 13

In article <3960@lanl.gov> jlg@lanl.gov (Jim Giles) writes:
:From article <457@quintus.UUCP>, by ok@quintus.uucp (Richard A. O'Keefe):
:> they even work nicely as logical operators, P/\Q = P.AND.Q .)

:Yes I am presently designing a language in which \/ is OR and /\ is
:AND.  It's too bad about lattice theorists using these symbols for 
:max and min, but the majority of my target users are into latices
:(some of them are though - so like I said, it's too bad).

I don't understand why it's "too bad".  My point was that the use of
/\ for minimum and \/ for maximum is CONSISTENT with their use for
.AND. and .OR.; the conventional lattice representation of the logical
values is .FALSE. = 0, .TRUE. = 1, .AND. = /\, .OR. = \/.