References
Glubrecht, J.-M.: Ein Vollständigkeitsbeweis für schnittfreie Kalküle mit der Maximalisierungsmethode von Henkin. Arch. math. Logik22, 159–166 (1982).
Schütte, K.: Proof theory. Berlin, Heidelberg, New York: Springer 1977.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Takano, M. Completeness of a cut-free calculus with equality and function constants. Arch math Logik 25, 37–41 (1985). https://doi.org/10.1007/BF02007554
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02007554