首页    期刊浏览 2024年12月05日 星期四
登录注册

文章基本信息

  • 标题:Two versions of minimal intuitionism with the CAP. A note.
  • 本地全文:下载
  • 作者:Gemma ROBLES ; José MÉNDEZ
  • 期刊名称: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.
  • 关键词:Intuitionistic logic, Contraction Axiom, Converse Ackermann Property, Constructive Falsity.
国家哲学社会科学文献中心版权所有