RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PERSONAL OFFICE
Main page
About this project
Software
Classifications
Links
Terms of Use

Search papers
Search references

RSS
Current issues
Archive issues
What is RSS






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


Ann. Pure Appl. Logic, 2014, Volume 165, Issue 1, Pages 82–105 (Mi apal1)  

Positive provability logic for uniform reflection principles

L. Beklemishevabc

a Steklov Mathematical Institute, Russian Academy of Sciences, Gubkina str. 8, 119991, Moscow, Russia
b National Research University Higher School of Economics
c Moscow M.V. Lomonosov State University

Funding Agency Grant Number
Ministry of Education and Science of the Russian Federation
Russian Foundation for Basic Research
Swiss National Science Foundation STCP-CH-RU project “Computational proof theory”
This work was supported by the Russian Foundation for Basic Research, Russian Presidential Council for Support of Leading Scientific Schools, and the STCP-CH-RU project “Computational proof theory”.


DOI: https://doi.org/10.1016/j.apal.2013.07.006


Bibliographic databases:

Document Type: Article
MSC: 03F45, 03B45, 03F30, 03D15
Language: English

Linking options:
  • http://mi.mathnet.ru/eng/apal1

    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
  • Number of views:
    This page:25

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