Two versions of minimal intuitionism with the CAP. A note

Citation data:

THEORIA. An International Journal for Theory, History and Foundations of Science, ISSN: 2171-679X, Vol: 20, Issue: 2, Page: 183-190

Publication Year:
Usage 196
Downloads 196
Repository URL:
Robles, Gemma; Méndez, José M
Euskal Herriko Unibertsitatea / Universidad del País Vasco
article description
Two versions of minimal intuitionism are defined restricting Contraction. Both are defined by means of a falsity constant F. The first one follows the historical trend, the second is the result of imposing special constraints on F. Relational ternary semantics are provided.