A General Theory of Completeness Proofs

DOI10.4288/jafpos1956.3.242zbMath0226.02032OpenAlexW2022499645MaRDI QIDQ5632555

Shôji Maehara

Publication date: 1970

Published in: Annals of the Japan Association for Philosophy of Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.4288/jafpos1956.3.242

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (5)

Interpreting descriptions in intensional type theory ⋮ A modified subformula property for the modal logic KC4 ⋮ Heyting predicate calculus with epsilon symbol ⋮ A study of Kripke-type models for some modal logics by Gentzen's sequential method ⋮ Intuitionistic Existential Instantiation and Epsilon Symbol

This page was built for publication: A General Theory of Completeness Proofs