El sistema bp+ : Una lógica positiva mínima para la negación mínima (the system bp+: A minimal positive logic for minimal negation)
Theoria 22 (1):81-91 (2007)
| Abstract | Entendemos el concepto de “negación mínima” en el sentido clásico definido por Johansson. El propósito 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 | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,711 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesJosé M. Méndez (1988). Converse Ackermann Croperty and Semiclassical Negation. Studia Logica 47 (2):159 - 168.
Mingzhong Cai (2010). A Hyperimmune Minimal Degree and an ANR 2-Minimal Degree. Notre Dame Journal of Formal Logic 51 (4):443-455.
Takahito Aoto (1999). Uniqueness of Normal Proofs in Implicational Intuitionistic Logic. Journal of Logic, Language and Information 8 (2):217-242.
Sergei P. Odintsov (2006). Absurdity as Unary Operator. Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):225-242.
Gemma Robles & José M. Méndez (2008). The Basic Constructive Logic for a Weak Sense of Consistency. Journal of Logic, Language and Information 17 (1).
Jacek Hawranek (1987). On the Degree of Complexity of Sentential Logics, III. An Example of Johansson's Minimal Logic. Studia Logica 46 (4):283 - 289.
J. Michael Dunn (1995). Positive Modal Logic. Studia Logica 55 (2):301 - 317.
J. Michael Dunn & Chunlai Zhou (2005). Negation in the Context of Gaggle Theory. Studia Logica 80 (2-3):235 - 264.
Dimiter Vakarelov (2005). Nelson's Negation on the Base of Weaker Versions of Intuitionistic Negation. Studia Logica 80 (2-3):393 - 430.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
