About Some Symmetries of Negation

Hosli, Brigitte; Jager, Gerhard

J. Symbolic Logic, Tome 59 (1994) no. 1, p. 473-485 / Harvested from Project Euclid

Résumé

This paper deals with some structural properties of the sequent calculus and describes strong symmetries between cut-free derivations and derivations, which do not make use of identity axioms. Both of them are discussed from a semantic and syntactic point of view. Identity axioms and cuts are closely related to the treatment of negation in the sequent calculus, so the results of this article explain some nice symmetries of negation.

Publié le : 1994-06-14
Classification:

@article{1183744491,
     author = {Hosli, Brigitte and Jager, Gerhard},
     title = {About Some Symmetries of Negation},
     journal = {J. Symbolic Logic},
     volume = {59},
     number = {1},
     year = {1994},
     pages = { 473-485},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183744491}
}

Hosli, Brigitte; Jager, Gerhard. About Some Symmetries of Negation. J. Symbolic Logic, Tome 59 (1994) no. 1, pp.  473-485. http://gdmltest.u-ga.fr/item/1183744491/