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##
Published
19-12-2009
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
##plugins.themes.bootstrap3.article.details##
Keywords
Issue
Section
Copyright Information