kw.\*:("Négation DeMorgan")
Results 1 to 1 of 1
Selection :
Kripke models for linear logicALLWEIN, G; DUNN, J. M.The Journal of symbolic logic. 1993, Vol 58, Num 2, pp 514-545, issn 0022-4812Conference Paper