Theoria: An International Journal for Theory, History and Foundations of Science

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.