Further applications of ultra-conservative ...-rules.

E.G.K. López-Escobar

Archiv für mathematische Logik und Grundlagenforschung (1982)

  • Volume: 22, page 89-102
  • ISSN: 0003-9268

How to cite

top

López-Escobar, E.G.K.. "Further applications of ultra-conservative ...-rules.." Archiv für mathematische Logik und Grundlagenforschung 22 (1982): 89-102. <http://eudml.org/doc/137994>.

@article{López1982,
author = {López-Escobar, E.G.K.},
journal = {Archiv für mathematische Logik und Grundlagenforschung},
keywords = {proof theory; fan theorem; cut-elimination; König’s lemma; infinite derivations},
pages = {89-102},
title = {Further applications of ultra-conservative ...-rules.},
url = {http://eudml.org/doc/137994},
volume = {22},
year = {1982},
}

TY - JOUR
AU - López-Escobar, E.G.K.
TI - Further applications of ultra-conservative ...-rules.
JO - Archiv für mathematische Logik und Grundlagenforschung
PY - 1982
VL - 22
SP - 89
EP - 102
KW - proof theory; fan theorem; cut-elimination; König’s lemma; infinite derivations
UR - http://eudml.org/doc/137994
ER -

NotesEmbed ?

top

You must be logged in to post comments.