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

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS


Mat. Zametki:
Year:
Volume:
Issue:
Page:
Find




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

Matematicheskie Zametki, 1990, Volume 47, Issue 5, Pages 88–99 (Mi mzm3241)  
This article is cited in 4 scientific papers (total in 4 papers)

Interpolation property for extensions of intuitionistic proof logic

I. G. Simonova

I. I. Mechnikov Odessa State University
Full-text PDF (1265 kB) Citations (4)
Received: 07.09.1987
Revised: 12.09.1988
English version:
Mathematical Notes, 1990, Volume 47, Issue 5, Pages 483–490
DOI: https://doi.org/10.1007/BF01158092
Bibliographic databases:
UDC: 517.1
Language: Russian
Citation: I. G. Simonova, “Interpolation property for extensions of intuitionistic proof logic”, Mat. Zametki, 47:5 (1990), 88–99; Math. Notes, 47:5 (1990), 483–490
Citation in format AMSBIB
\Bibitem{Sim90}
\by I.~G.~Simonova
\paper Interpolation property for extensions of intuitionistic proof logic
\jour Mat. Zametki
\yr 1990
\vol 47
\issue 5
\pages 88--99
\mathnet{http://mi.mathnet.ru/mzm3241}
\mathscinet{https://mathscinet.ams.org/mathscinet-getitem?mr=1068061}
\zmath{https://zbmath.org/?q=an:0711.03028}
\transl
\jour Math. Notes
\yr 1990
\vol 47
\issue 5
\pages 483--490
\crossref{https://doi.org/10.1007/BF01158092}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=A1990ET04100012}
Linking options:
  • https://www.mathnet.ru/eng/mzm3241
  • https://www.mathnet.ru/eng/mzm/v47/i5/p88
    • This publication is cited in the following 4 articles:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Математические заметки Mathematical Notes
     
      Contact us:
    		  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2025