期刊名称：THEORIA. An International Journal for Theory, History and Foundations of Science
印刷版ISSN：2171-679X
出版年度：2005
卷号：20
期号：2
页码：183-190
DOI：10.1387/theoria.571
语种：English
出版社：UPV/EHU - University of the Basque Country
摘要：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.
