An Intuitionistic Completeness Theorem for Classical Predicate Logic

Author: Krivtsov, Victor

Source: Studia Logica, Volume 96, Number 1, October 2010 , pp. 109-115(7)

Publisher: Springer

Buy & download fulltext article:


Price: $47.00 plus tax (Refund Policy)


This paper presents an intuitionistic proof of a statement which under a classical reading is logically equivalent to Gödel’s completeness theorem for classical predicate logic.

Keywords: Gödel’s completeness theorem; classical predicate logic; intuitionistic completeness proof

Document Type: Research Article


Affiliations: Department of Mathematical Logic and Theory of Algorithms, Faculty of Mechanics and Mathematics, Moscow State University, Vorob’evy Gory, 119991, Moscow, Russia, Email:

Publication date: October 1, 2010

Related content


Free Content
Free content
New Content
New content
Open Access Content
Open access content
Subscribed Content
Subscribed content
Free Trial Content
Free trial content

Text size:

A | A | A | A
Share this item with others: These icons link to social bookmarking sites where readers can share and discover new web pages. print icon Print this page