-
Four kinds of subminimal negation within the context of the basic positive logic b+ Jose M. Mendez, francisco Salto and Pedro Mendez RLogique Et Analyse 45 (178): 119-128. 2002.
-
Relevance Logics, Paradoxes Of Consistency And The K Rule IiLogic and Logical Philosophy 15 175-191. 2006.The logic B+ is Routley and Meyer’s basic positive logic. Wedefine the logics BK+ and BK′+ by adding to B+ the K rule and to BK+the characteristic S4 axiom, respectively. These logics are endowed witha relatively strong non-constructive negation. We prove that all the logicsdefined lack the K axiom and the standard paradoxes of consistency
-
Universidad de SalamancaRegular Faculty