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

Citation data:

THEORIA. An International Journal for Theory, History and Foundations of Science, ISSN: 2171-679X, Vol: 22, Issue: 1, Page: 81-91

Publication Year:
2007
Usage 66
Downloads 66
Repository URL:
http://philsci-archive.pitt.edu/id/eprint/10438
DOI:
10.1387/theoria.483
Author(s):
Méndez, José M; Salto, Francisco; Robles, Gemma
Publisher(s):
Euskal Herriko Unibertsitatea / Universidad del País Vasco
article description
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.