Méndez, José M and Salto, Francisco and Robles, Gemma
(2007)
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).
pp. 81-91.
ISSN 2171-679X
Abstract
Entendemos el concepto de “negación mínima” en el sentido clásico definido por Johansson. El propósi-to de este artículo es definir la lógica positiva mínima Bp+, y probar que la negación mínima puede introducirse en ella. Además, comentaremos algunas de las múltiples extensiones negativas de Bp+.
“Minimal negation” is classically understood in a Johansson sense. The aim of this paper is to define the minimal positive logic Bp+ and prove that a minimal negation can be inroduced in it. In addition, some of the many possible negation extensions of Bp+ are commented.
| Item Type: |
Published Article or Volume
|
| Creators: |
|
| Additional Information: |
ISSN: 0495-4548 (print) |
| Keywords: |
negación constructiva, negación mínima, semántica relacional ternaria, lógicas de la relevancia, constructive negation, minimal negation, ternary relational semantics, relevance logics |
| Depositing User: |
Users 15304 not found. |
| Date Deposited: |
06 Mar 2014 20:14 |
| Last Modified: |
11 Mar 2014 22:00 |
| Item ID: |
10438 |
| Journal or Publication Title: |
THEORIA. An International Journal for Theory, History and Foundations of Science |
| Publisher: |
Euskal Herriko Unibertsitatea / Universidad del País Vasco |
| Official URL: |
http://www.ehu.es/ojs/index.php/THEORIA/article/vi... |
| DOI or Unique Handle: |
10.1387/theoria.483 |
| Date: |
2007 |
| Page Range: |
pp. 81-91 |
| Volume: |
22 |
| Number: |
1 |
| ISSN: |
2171-679X |
| URI: |
https://philsci-archive.pitt.edu/id/eprint/10438 |
Monthly Views for the past 3 years
Monthly Downloads for the past 3 years
Plum Analytics
Altmetric.com
Actions (login required)
 |
View Item |