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

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

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

Published 06-05-2005
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, 20(2), 183–190. https://doi.org/10.1387/theoria.571
Abstract 417 | PDF Downloads 214

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

Keywords

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

Section
ARTICLES