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

DOI10.1007/BF02007554MaRDI QIDQ3712336zbMATH OpenFDO

Authors 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)

Recommendations

• A first order logic for partial functions (extended abstract)
• Do we need models ?
• scientific article; zbMATH DE number 1163995
• Consistency of Heyting arithmetic in natural deduction
• The original sin of proof-theoretic semantics
• scientific article; zbMATH DE number 554985
• Publication:4943268
• Boolean valued models and incomplete specifications
• scientific article; zbMATH DE number 4089537
• scientific article; zbMATH DE number 4068249

Cites work

• Ein Vollständigkeitsbeweis Für Schnittfreie Kalküle Mit Der Maximalisierungsmethode Von Henkin
• scientific article; zbMATH DE number 3572133 (Why is no real title available?)

Cited in

(3)

• A sound and complete \(R\)-calculi with respect to contraction and minimal change
• External equality and absolute equality coincide in finite CCS and calculus without summation
• scientific article; zbMATH DE number 492836 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3712336)