Completeness and Hauptsatz for second order logic1

DOI10.1111/j.1755-2567.1967.tb00622.xzbMath0175.26702OpenAlexW2126413400MaRDI QIDQ5565091

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

Related Items

Did Descartes make a diagonal argument? ⋮ 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 ⋮ Prawitz, Proofs, and Meaning ⋮ Theory of proofs (arithmetic and analysis) ⋮ Typing and computational properties of lambda expressions ⋮ Neo-Logicism and Its Logic