Brouwerian system
logic
Learn about this topic in these articles:
modal logic
- In formal logic: Alternative systems of modal logic
…LMp to T gives the Brouwerian system (named for the Dutch mathematician L.E.J. Brouwer), here called B for short.
Read More