Vestnik Moskovskogo Universiteta. Seriya 1. Matematika. Mekhanika
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive
Impact factor

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS


Vestnik Moskov. Univ. Ser. 1. Mat. Mekh.:
Year:
Volume:
Issue:
Page:
Find




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

Vestnik Moskovskogo Universiteta. Seriya 1. Matematika. Mekhanika, 2016, Number 1, Pages 52–56 (Mi vmumm123)  
This article is cited in 14 scientific papers (total in 14 papers)

Short notes

Arithmetical realizability and basic logic

A. Yu. Konovalov

Lomonosov Moscow State University, Faculty of Mechanics and Mathematics
Full-text PDF (316 kB) Citations (14)
References:
PDF
HTML
Abstract: Absolute arithmetical realizability of predicate formulas is introduced. It is proved that the intuitionistic logic is not sound with this semantics, but the basic logic is sound.
Key words: constructive semantics, realizability, absolute realizability, formal arithmetic, arithmetical realizability, basic logic, intuitionistic logic.
Funding agency Grant number
Russian Foundation for Basic Research 14-01-00127
Received: 08.12.2014
English version:
Moscow University Mathematics Bulletin, 2016, Volume 71, Issue 1, Pages 35–38
DOI: https://doi.org/10.3103/S0027132216010071
Bibliographic databases:
Document Type: Article
UDC: 510.25; 510.64
Language: Russian
Citation: A. Yu. Konovalov, “Arithmetical realizability and basic logic”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2016, no. 1, 52–56; Moscow University Mathematics Bulletin, 71:1 (2016), 35–38
Citation in format AMSBIB
\Bibitem{Kon16}
\by A.~Yu.~Konovalov
\paper Arithmetical realizability and basic logic
\jour Vestnik Moskov. Univ. Ser.~1. Mat. Mekh.
\yr 2016
\issue 1
\pages 52--56
\mathnet{http://mi.mathnet.ru/vmumm123}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=3637807}
\transl
\jour Moscow University Mathematics Bulletin
\yr 2016
\vol 71
\issue 1
\pages 35--38
\crossref{https://doi.org/10.3103/S0027132216010071}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000393855300007}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84962791532}
Linking options:
  • https://www.mathnet.ru/eng/vmumm123
  • https://www.mathnet.ru/eng/vmumm/y2016/i1/p52
    • This publication is cited in the following 14 articles:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Statistics & downloads:
    Abstract page:159
    Full-text PDF :35
    References:33
     
      Contact us:
    		  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024