intuitionist logic

Related Overviews


'intuitionist logic' can also refer to...


More Like This

Show all results sharing this subject:

  • Philosophy


Show Summary Details

Quick Reference

A logic in which truth is equated with provability, or warranted assertibility, or something of the kind. Let us use ‘□’ to abbreviate ‘We have grounds for asserting’ or ‘We ...

Subjects: Philosophy.

Reference entries

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.