Email list hosting service & mailing list manager

[Nitpicking] Trivalent logic Marc Nieper-Wi├čkirchen (31 Mar 2020 18:52 UTC)
Re: [Nitpicking] Trivalent logic Wolfgang Corcoran-Mathe (31 May 2020 19:17 UTC)

Re: [Nitpicking] Trivalent logic Wolfgang Corcoran-Mathe 31 May 2020 19:17 UTC

On 2020-03-31 20:52 +0200, Marc Nieper-Wißkirchen wrote:
> The sentence "Unlike and and or, these procedures must evaluate all their
> arguments in order to provide correct SQL-style semantics." is of dubious
> character.
> ...
> A reformulation could be: "Unlike and and or, tri-and and tri-or are
> procedures and not syntax. In particular, evaluation of a form like
> (tri-and ... ...) implies the evaluation of all of ... ..., which is
> necessary to give provide the correct SQL-style semantics."

Agreed.  The reformulated version is much clearer.  I'd suggest
deleting one of 'give' or 'provide' in the last sentence.


Wolfgang Corcoran-Mathe  <>

"Heresy is a cradle; orthodoxy, a coffin.  Why should man be
afraid to think, and why should he fear to express his thoughts?"
--Robert G. Ingersoll