Henkin’s Completeness Proof and Glivenko’s Theorem

DOI10.1007/978-3-319-09719-0_15zbMath1336.03038OpenAlexW29005263MaRDI QIDQ3454815

Franco Parlamento

Publication date: 27 November 2015

Published in: Studies in Universal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-09719-0_15

zbMATH Keywords

consistencycompletenessintermediate logics

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10) Intermediate logics (03B55)

Cites Work

• Unnamed Item
• Truth-value semantics and functional extensions for classical logic of partial terms based on equality
• On the proof theory of the intermediate logic MH
• On logics intermediate between intuitionistic and classical predicate logic
• Applications of trees to intermediate logics

This page was built for publication: Henkin’s Completeness Proof and Glivenko’s Theorem