This article is cited in 2 papers

Dialogue interpretation of the classical predicate calculus

V. A. Yankov

Russian State University for the Humanities

Abstract: An intuitionistic dialogue interpretation is constructed for the classical predicate calculus, and a completeness theorem (an intuitionistic analogue of the Godel theorem) is proved for the interpretation.

MSC: Primary 03F03, 03F25; Secondary 03B20, 03F05

Received: 14.07.1994

DOI: 10.4213/im112

 English version: Izvestiya: Mathematics, 1997, 61:1, 225–233

Bibliographic databases:

• 
• 
• 
• 
•