A Constructive Negation Defined with aNegation Connective for Logics Including Bp+

Bulletin of the Section of Logic, Tom 34, Numer 3 (2005) s. 177-189
Gemma Robles, Francisco Salto, Jose M. Mendez

 

do góry