Correction to a definition of negation

Publisher： Cambridge University Press

E-ISSN： 1943-5886|49|1|47-50

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.49, Iss.1, 1984-03, pp. : 47-50

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

In [3] a definition of negation was presented for the system K′ of extended basic logic [1], but it has since been shown by Peter Päppinghaus (personal communication) that this definition fails to give rise to the law of double negation as I claimed it did. The purpose of this note is to revise this defective definition in such a way that it clearly does give rise to the law of double negation, as well as to the other negation rules of K′.

Related content

A definition of negation in extended basic logic

By  

The Journal of Symbolic Logic, Vol. 19, Iss. 1, 1954-03 ,pp. : 29-36 (8)

Cambridge University Press

Access to resources Recommend Favorite

On the definition of negation by a fixed proposition in inferential calculus

By  

The Journal of Symbolic Logic, Vol. 17, Iss. 2, 1952-06 ,pp. : 98-104 (7)

Cambridge University Press

Access to resources Recommend Favorite

Correction

By  

Advances in Applied Probability, Vol. 44, Iss. 1, 2012-03 ,pp. : 309-310 (2)

Cambridge University Press

Access to resources Recommend Favorite

Correction

By  

The Americas, Vol. 33, Iss. 3, 1977-01 ,pp. : 565-565 (1)

Cambridge University Press

Access to resources Recommend Favorite

About some symmetries of negation

By  

The Journal of Symbolic Logic, Vol. 59, Iss. 2, 1994-06 ,pp. : 473-485 (13)

Cambridge University Press

Access to resources Recommend Favorite