Reference Entry


Thomas Macaulay Ferguson and Graham Priest

in A Dictionary of Logic

Published online June 2016 | e-ISBN: 9780191816802

Show Summary Details


A property of the Kripke semantics for *intuitionistic logic such that:

• if φ is true at w and

Reference Entry.  103 words. 

Subjects: Philosophy

Full text: subscription required

How to subscribe Recommend to my Librarian

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