Slaney's Logic F** is Constructive Logic with Strong Negation

Bulletin of the Section of Logic, Tom 39, Numer 3-4 (2010) s. 161-174
M. Spinks, R. Veroff

 

do góry