El sistema Bp+: una lógica positiva mínima para la negación mínima
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ó...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
University of the Basque Country
2009-12-01
|
| Series: | Theoria |
| Subjects: | |
| Online Access: | http://www.ehu.es/ojs/index.php/THEORIA/article/view/483 |
| Summary: | 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 |
|---|---|
| ISSN: | 0495-4548 2171-679X |