El sistema Bp+: una lógica positiva mínima para la negación mínima

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

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

PDF
Published 19-12-2009
DOI https://doi.org/10.1387/theoria.483
Méndez José M. Francisco Salto Gemma Robles

Abstract

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

How to Cite

José M., M., Salto, F., & Robles, G. (2009). El sistema Bp+: una lógica positiva mínima para la negación mínima. THEORIA. An International Journal for Theory, History and Foundations of Science, 22(1), 81–91. https://doi.org/10.1387/theoria.483
Abstract 289 | PDF Downloads 468

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

Keywords

negación constructiva, negación mínima, semántica relacional ternaria, lógicas de la relevancia

Issue
Vol. 22 No. 1 (2007): On Richard Moran's _Authority and Estrangement_
Section
ARTICLES

Authors retain copyright and grant the journal right of first publication with the work simultaneously licensed under a Creative Commons License.