Studia Logica: An International Journal for Symbolic Logic, Vol. 80, No. 2/3, Negation in Constructive Logic (Jul. - Aug., 2005), pp. 265-289 (25 pages) A general Gentzen-style framework for handling ...
This is a preview. Log in through your library . Journal Information The Journal of Philosophical Logic provides a forum for work at the crossroads of philosophy and logic, old and new, with ...
Negation of simple clauses is formed with the negative particle not. There are two kinds of negation: simple sentence negation and contrastive negation. Let us start with sentence negation. At ...
A universal passive logic element of positive and negative logic, made on just one transistor, is proposed. The logic element has at least two inputs, as well as three outputs: an OR, an XOR, and an ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback