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

DOI10.1007/BF02007554zbMath0586.03047MaRDI QIDQ3712336

Mitio Takano

Publication date: 1985

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/138035

zbMATH Keywords

cut eliminationpartial valuation

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05)

Cites Work

• Ein Vollständigkeitsbeweis Für Schnittfreie Kalküle Mit Der Maximalisierungsmethode Von Henkin
• Unnamed Item

This page was built for publication: Completeness of a cut-free calculus with equality and function constants