Studia Logica: An International Journal for Symbolic Logic, Vol. 80, No. 2/3, Negation in Constructive Logic (Jul. - Aug., 2005), pp. 393-430 (38 pages) Constructive logic with Nelson negation is an ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback