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 |