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 |
| _version_ | 1811317188446912512 |
|---|---|
| author | Méndez José M. Francisco Salto Gemma Robles |
| author_facet | Méndez José M. Francisco Salto Gemma Robles |
| author_sort | Méndez José M. |
| collection | DOAJ |
| description | 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 |
| first_indexed | 2024-04-13T12:02:27Z |
| format | Article |
| id | doaj.art-30820a180c64485280721b8f1af5b6c2 |
| institution | Directory Open Access Journal |
| issn | 0495-4548 2171-679X |
| language | English |
| last_indexed | 2024-04-13T12:02:27Z |
| publishDate | 2009-12-01 |
| publisher | University of the Basque Country |
| record_format | Article |
| series | Theoria |
| spelling | doaj.art-30820a180c64485280721b8f1af5b6c22022-12-22T02:47:44ZengUniversity of the Basque CountryTheoria0495-45482171-679X2009-12-01221819110.1387/theoria.483489El sistema Bp+: una lógica positiva mínima para la negación mínimaMéndez José M.Francisco SaltoGemma RoblesLa 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ínimahttp://www.ehu.es/ojs/index.php/THEORIA/article/view/483negación constructiva, negación mínima, semántica relacional ternaria, lógicas de la relevancia |
| spellingShingle | Méndez José M. Francisco Salto Gemma Robles El sistema Bp+: una lógica positiva mínima para la negación mínima Theoria negación constructiva, negación mínima, semántica relacional ternaria, lógicas de la relevancia |
| title | El sistema Bp+: una lógica positiva mínima para la negación mínima |
| title_full | El sistema Bp+: una lógica positiva mínima para la negación mínima |
| title_fullStr | El sistema Bp+: una lógica positiva mínima para la negación mínima |
| title_full_unstemmed | El sistema Bp+: una lógica positiva mínima para la negación mínima |
| title_short | El sistema Bp+: una lógica positiva mínima para la negación mínima |
| title_sort | el sistema bp una logica positiva minima para la negacion minima |
| topic | negación constructiva, negación mínima, semántica relacional ternaria, lógicas de la relevancia |
| url | http://www.ehu.es/ojs/index.php/THEORIA/article/view/483 |
| work_keys_str_mv | AT mendezjosem elsistemabpunalogicapositivaminimaparalanegacionminima AT franciscosalto elsistemabpunalogicapositivaminimaparalanegacionminima AT gemmarobles elsistemabpunalogicapositivaminimaparalanegacionminima |