A General Theory of Completeness Proofs

DOI10.4288/JAFPOS1956.3.242MaRDI QIDQ5632555zbMATH OpenOpenAlexFDO

Authors 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)

Cited in

(6)

• Heyting predicate calculus with epsilon symbol
• A study of Kripke-type models for some modal logics by Gentzen's sequential method
• A modified subformula property for the modal logic KC4
• Intuitionistic existential instantiation and epsilon symbol
• Interpreting descriptions in intensional type theory
• SCI-sequent calculi, cut elimination and interpolation property

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

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