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

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 311 | PDF Downloads 492

Keywords

Issue

Section

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

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

Abstract

How to Cite

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