Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia

Volume 20, Issue 2, Mayo 2005

Gemma Robles, José M. Méndez
Pages 183-190

Two versions of minimal intuitionism with the CAP. A note

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. RelationaI ternary semantics are provided.