RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB
General information
Latest issue
Forthcoming papers
Archive
Impact factor
Subscription
Guidelines for authors
License agreement
Submit a manuscript

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Izv. RAN. Ser. Mat.:
Year:
Volume:
Issue:
Page:
Find






Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register


Izv. RAN. Ser. Mat., 1997, Volume 61, Issue 1, Pages 215–224 (Mi izv112)  

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.

DOI: https://doi.org/10.4213/im112

Full text: PDF file (899 kB)
References: PDF file   HTML file

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

Bibliographic databases:

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

Citation: V. A. Yankov, “Dialogue interpretation of the classical predicate calculus”, Izv. RAN. Ser. Mat., 61:1 (1997), 215–224; Izv. Math., 61:1 (1997), 225–233

Citation in format AMSBIB
\Bibitem{Yan97}
\by V.~A.~Yankov
\paper Dialogue interpretation of the classical predicate calculus
\jour Izv. RAN. Ser. Mat.
\yr 1997
\vol 61
\issue 1
\pages 215--224
\mathnet{http://mi.mathnet.ru/izv112}
\crossref{https://doi.org/10.4213/im112}
\mathscinet{http://www.ams.org/mathscinet-getitem?mr=1440320}
\zmath{https://zbmath.org/?q=an:0889.03008}
\elib{http://elibrary.ru/item.asp?id=13250274}
\transl
\jour Izv. Math.
\yr 1997
\vol 61
\issue 1
\pages 225--233
\crossref{https://doi.org/10.1070/im1997v061n01ABEH000112}
\isi{http://gateway.isiknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&DestLinkType=FullRecord&DestApp=ALL_WOS&KeyUT=A1997XR83300010}
\scopus{http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-33747004796}


Linking options:
  • http://mi.mathnet.ru/eng/izv112
  • https://doi.org/10.4213/im112
  • http://mi.mathnet.ru/eng/izv/v61/i1/p215

    SHARE: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles
  • Известия Российской академии наук. Серия математическая Izvestiya: Mathematics
    Number of views:
    This page:231
    Full text:94
    References:25
    First page:1

     
    Contact us:
     Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2019