Two versions of minimal intuitionism with the CAP. A note.

##plugins.themes.bootstrap3.article.main##

##plugins.themes.bootstrap3.article.sidebar##

PDF
Published 06-05-2005
DOI https://doi.org/10.1387/theoria.571
Gemma ROBLES José MÉNDEZ

Abstract

La "Conversa de la Propiedad Ackermann" (CAP) es la no demostrabilidad de proposiciones puramente no-necesitivas a partir de proposiciones necesitivas. En nuestro trabajo definimos las dos restricciones básicas de la lógica intuicionista mínima con la CAP.

How to Cite

ROBLES, G., & MÉNDEZ, J. (2005). Two versions of minimal intuitionism with the CAP. A note. THEORIA. An International Journal for Theory, History and Foundations of Science, 20(2), 183–190. https://doi.org/10.1387/theoria.571
Abstract 475 | PDF Downloads 278

##plugins.themes.bootstrap3.article.details##

Keywords

Intuitionistic logic, Contraction Axiom, Converse Ackermann Property, Constructive Falsity.

Issue
Vol. 20 No. 2 (2005)
Section
ARTICLES

Authors retain copyright and grant the journal right of first publication with the work simultaneously licensed under a Creative Commons License.