Brouwer on idempotence of AND or OR

• To: linear@CS.Stanford.EDU
• Subject: Brouwer on idempotence of AND or OR
• From: Vaughan Pratt <pratt@CS.Stanford.EDU>
• Date: Sun, 27 Oct 1996 16:02:56 -0700
• Approved: types@dcs.gla.ac.uk

[------ The Types Forum ------- http://www.dcs.gla.ac.uk/~types ------]


Did Brouwer take any position on the idempotence of either conjunction
or disjunction?

Vaughan Pratt

• Prev: POPL '97 advance program
• Next: CADE-14 ATP System Competition Call for Participation
• Index(es):
  • Main
  • Thread