Completeness of a cut-free calculus with equality and function constants.

Mitio Takano

Archiv für mathematische Logik und Grundlagenforschung (1985)

  • Volume: 25, page 37-42
  • ISSN: 0003-9268

How to cite

top

Takano, Mitio. "Completeness of a cut-free calculus with equality and function constants.." Archiv für mathematische Logik und Grundlagenforschung 25 (1985): 37-42. <http://eudml.org/doc/138035>.

@article{Takano1985,
author = {Takano, Mitio},
journal = {Archiv für mathematische Logik und Grundlagenforschung},
keywords = {cut elimination; partial valuation},
pages = {37-42},
title = {Completeness of a cut-free calculus with equality and function constants.},
url = {http://eudml.org/doc/138035},
volume = {25},
year = {1985},
}

TY - JOUR
AU - Takano, Mitio
TI - Completeness of a cut-free calculus with equality and function constants.
JO - Archiv für mathematische Logik und Grundlagenforschung
PY - 1985
VL - 25
SP - 37
EP - 42
KW - cut elimination; partial valuation
UR - http://eudml.org/doc/138035
ER -

NotesEmbed ?

top

You must be logged in to post comments.