Completeness and Hauptsatz for second order logic1

DOI10.1111/J.1755-2567.1967.TB00622.XMaRDI QIDQ5565091zbMATH OpenOpenAlexFDO

Authors Dag Prawitz

Publication date 1967

Published in Theoria (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1111/j.1755-2567.1967.tb00622.x

zbMATH Keywords

algebraic logic, model theory

Cited in

(7)

• Did Descartes make a diagonal argument?
• Typing and computational properties of lambda expressions
• Theory of proofs (arithmetic and analysis)
• Neo-Logicism and Its Logic
• Simple proof of the completeness theorem for second-order classical and intuitionistic logic by reduction to first-order mono-sorted logic
• Prawitz, Proofs, and Meaning
• Revising Carnap's semantic conception of modality

This page was built for publication: Completeness and Hauptsatz for second order logic1

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