An intuitionistic completeness theorem for classical predicate logic (Q708927): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Une Preuve Formelle et Intuitionniste du Théorème de Complétude de la Logique Classique / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Constructivism in mathematics. An introduction. Volume II / rank | |||
Normal rank |
Latest revision as of 08:48, 3 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | An intuitionistic completeness theorem for classical predicate logic |
scientific article |
Statements
An intuitionistic completeness theorem for classical predicate logic (English)
0 references
15 October 2010
0 references
The completeness of intuitionistic first-order logic with respect to the corresponding class of structures can be proved via a purely intuitionistic argument establishing a connection between Beth forcing and intuitionistic validity. The author shows that a similar argument leads to an intuitionistic version of Gödel's completeness theorem for classical first-order logic.
0 references
classical predicate logic
0 references
Gödel completeness theorem
0 references
intuitionistic completeness proof
0 references