文章基本信息

标题：El sistema Bp+: una lógica positiva mínima para la negación mínima
本地全文：下载
作者：Méndez José M. ; Francisco Salto ; Gemma Robles 等
期刊名称：THEORIA. An International Journal for Theory, History and Foundations of Science
印刷版ISSN：2171-679X
出版年度：2009
卷号：22
期号：1
页码：81-91
语种：
出版社：UPV/EHU - University of the Basque Country
摘要：La lógica Bp+ es B+ más el axioma de “prefijación”. Entendemos “negación mínima” en el sentido de Johansson. Nuestro objetivo es probar que que la negación mínima puede introducirse en Bp+; el resultado es el sistema Bpmcr. Mostramos también cómo extender Bpmcr a cualquier sistema incluido en la lógica intuicionista mínima
关键词：negación constructiva, negación mínima, semántica relacional ternaria, lógicas de la relevancia