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

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

Keywords


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

Full Text:

PDF


DOI: http://dx.doi.org/10.1387/theoria.483