RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB
General information
Latest issue
Archive
Impact factor
Journal history

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Fundam. Prikl. Mat.:
Year:
Volume:
Issue:
Page:
Find






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


Fundam. Prikl. Mat., 1999, Volume 5, Issue 3, Pages 903–926 (Mi fpm422)  

This article is cited in 7 scientific papers (total in 7 papers)

On a new constant in intuitionistic propositional logic

A. D. Yashin

M. V. Lomonosov Moscow State University

Abstract: The classification theorem for the family of all Novikov complete extensions of the intuitionistic propositional logic in the language containing a single additional constant is proved. The algorithmic problem of the conservativeness of calculi in this enriched language over intuitionistic propositional logic is established to be decidable.

Full text: PDF file (918 kB)

Bibliographic databases:
UDC: 517.12
Received: 01.04.1996

Citation: A. D. Yashin, “On a new constant in intuitionistic propositional logic”, Fundam. Prikl. Mat., 5:3 (1999), 903–926

Citation in format AMSBIB
\Bibitem{Yas99}
\by A.~D.~Yashin
\paper On a~new constant in intuitionistic propositional logic
\jour Fundam. Prikl. Mat.
\yr 1999
\vol 5
\issue 3
\pages 903--926
\mathnet{http://mi.mathnet.ru/fpm422}
\mathscinet{http://www.ams.org/mathscinet-getitem?mr=1806864}
\zmath{https://zbmath.org/?q=an:0982.03005}


Linking options:
  • http://mi.mathnet.ru/eng/fpm422
  • http://mi.mathnet.ru/eng/fpm/v5/i3/p903

    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

    This publication is cited in the following articles:
    1. A. D. Yashin, “Classification of Novikov Complete Logics with Extra Logical Constants”, Algebra and Logic, 42:3 (2003), 207–216  mathnet  crossref  mathscinet  zmath
    2. A. D. Yashin, “Novikov Complete Logics: Translation Techniques”, Algebra and Logic, 43:3 (2004), 205–214  mathnet  crossref  mathscinet  zmath
    3. A. D. Yashin, “New constants in two pretabular superintuitionistic logics”, Algebra and Logic, 50:2 (2011), 171–186  mathnet  crossref  mathscinet  zmath  isi
    4. A. D. Yashin, A. K. Koshcheeva, “New Constants in the Superintuitionistic Logic $L2$”, Math. Notes, 94:6 (2013), 938–950  mathnet  crossref  crossref  mathscinet  zmath  isi  elib  elib
    5. A. K. Koscheeva, “Aksiomatika polnykh po P. S. Novikovu rasshirenii superintuitsionistskoi logiki $L2$ v yazyke s odnoi dopolnitelnoi konstantoi”, Vestn. Udmurtsk. un-ta. Matem. Mekh. Kompyut. nauki, 2014, no. 3, 28–39  mathnet
    6. A. K. Koshcheeva, “A new constant in superintuitionistic logic $L3$”, Algebra and Logic, 54:1 (2015), 23–35  mathnet  crossref  crossref  mathscinet  isi
    7. A. K. Koscheeva, “Novye konstanty v predtablichnykh superintuitsionistskikh logikakh: podkhod P. C. Novikova”, Izv. IMI UdGU, 2016, no. 1(47), 3–33  mathnet  elib
  • Фундаментальная и прикладная математика
    Number of views:
    This page:180
    Full text:64
    First page:1

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