期刊名称：THEORIA. An International Journal for Theory, History and Foundations of Science
印刷版ISSN：2171-679X
出版年度：2007
卷号：22
期号：1
页码：81-91
DOI：10.1387/theoria.483
语种：
出版社：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
