Mehrsortige logische Systeme mit unendlich langen Formeln I

DOI10.1007/BF01974148zbMath0235.02023MaRDI QIDQ5643958

Werner Carstengerdes

Publication date: 1971

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

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

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Interpolation, preservation, definability (03C40) Other infinitary logic (03C75)

Cites Work

• On predicates with constructive infinitely long expressions
• An interpolation theorem for denumerably long formulas
• Remarks on an infinitary language with constructive formulas
• On the Forms of the Predicates in the Theory of Constructive Ordinals
• Unnamed Item
• Unnamed Item

This page was built for publication: Mehrsortige logische Systeme mit unendlich langen Formeln I