Izvestiya: Mathematics
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Forthcoming papers
Archive
Impact factor
Guidelines for authors
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

Izvestiya: Mathematics, 2003, Volume 67, Issue 2, Pages 377–404
DOI: https://doi.org/10.1070/IM2003v067n02ABEH000431 (Mi im431) 		 
This article is cited in 1 scientific paper (total in 1 paper)

The simple substitution property for superintuitionistic propositional logics and its relation to the separability property

V. I. Khomich

Dorodnitsyn Computing Centre of the Russian Academy of Sciences
English version PDF (1032 kB) Citations (1)
References:
PDF
HTML
DOI: https://doi.org/10.1070/IM2003v067n02ABEH000431
Abstract: We study the simple substitution property for superintuitionistic propositional calculi, which are axiomatizations of superintuitionistic propositional logic, and obtain an algebraic criteria for the existence of this property. This is used to prove that many logics, including almost all of those generated by formulae in one variable, do not have the simple substitution property. We obtain a series of results that establish a connection between separability and possession of this property by axiomatizations of the logics considered.
Received: 19.07.2001
Russian version:
Izvestiya Rossiiskoi Akademii Nauk. Seriya Matematicheskaya, 2003, Volume 67, Issue 2, Pages 181–210
DOI: https://doi.org/10.4213/im431
Bibliographic databases:
UDC: 510.64
MSC: 03F55, 03G05
Language: English
Original paper language: Russian
Citation: V. I. Khomich, “The simple substitution property for superintuitionistic propositional logics and its relation to the separability property”, Izv. RAN. Ser. Mat., 67:2 (2003), 181–210; Izv. Math., 67:2 (2003), 377–404
Citation in format AMSBIB
\Bibitem{Kho03}
\by V.~I.~Khomich
\paper The simple substitution property for superintuitionistic propositional logics and its relation to the separability property
\jour Izv. RAN. Ser. Mat.
\yr 2003
\vol 67
\issue 2
\pages 181--210
\mathnet{http://mi.mathnet.ru/im431}
\crossref{https://doi.org/10.4213/im431}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=1972997}
\zmath{https://zbmath.org/?q=an:1071.03016}
\elib{https://elibrary.ru/item.asp?id=13417859}
\transl
\jour Izv. Math.
\yr 2003
\vol 67
\issue 2
\pages 377--404
\crossref{https://doi.org/10.1070/IM2003v067n02ABEH000431}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000185541900007}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-33748708245}
Linking options:
  • https://www.mathnet.ru/eng/im431
  • https://doi.org/10.1070/IM2003v067n02ABEH000431
  • https://www.mathnet.ru/eng/im/v67/i2/p181
    • This publication is cited in the following 1 articles:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Известия Российской академии наук. Серия математическая Izvestiya: Mathematics
    Statistics & downloads:
    Abstract page:328
    Russian version PDF:197
    English version PDF:10
    References:39
    First page:1
     
      Contact us:
    		  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024