Completeness and Hauptsatz for second order logic1

DOI10.1111/J.1755-2567.1967.TB00622.XzbMATH Open0175.26702OpenAlexW2126413400MaRDI QIDQ5565091FDOQ5565091

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)

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

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)