Sibirskii Matematicheskii Zhurnal
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


Sibirsk. Mat. Zh.:
Year:
Volume:
Issue:
Page:
Find




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

Sibirskii Matematicheskii Zhurnal, 2018, Volume 59, Number 1, Pages 225–237
DOI: https://doi.org/10.17377/smzh.2018.59.119 (Mi smj2967) 		 
This article is cited in 1 scientific paper (total in 1 paper)

Recognizability of all WIP-minimal logics

V. F. Yunab

a Sobolev Institute of Mathematics, Novosibirsk, Russia
b Novosibirsk State University, Novosibirsk, Russia
Full-text PDF (303 kB) Citations (1)
References:
PDF
HTML
DOI: https://doi.org/10.17377/smzh.2018.59.119
Abstract: We consider extensions of Johansson's minimal logic J. It was proved in [1] that the weak interpolation property (WIP) is decidable over the minimal logic. Moreover, all logics with WIP are divided into eight pairwise disjoint intervals. The notion of recognizable logic was introduced in [2]. The recognizability over J of five of the eight WIP-minimal logics, i.e. of the lower ends of intervals with WIP, was proved earlier in [2,3]. We prove the recognizability over J of the remaining three WIP-minimal logics.
Keywords: minimal logic, interpolation property, decidability, recognizable logic.
Funding agency Grant number
Ministry of Education and Science of the Russian Federation НШ-6848.2016.1
The author was partially supported by the State Maintenance Program for the Leading Scientific Schools of the Russian Federation (Grant NSh-6848.2016.1).
Received: 07.03.2017
English version:
Siberian Mathematical Journal, 2018, Volume 59, Issue 1, Pages 179–188
DOI: https://doi.org/10.1134/S0037446618010196
Bibliographic databases:
Document Type: Article
UDC: 510.6
MSC: 35R30
Language: Russian
Citation: V. F. Yun, “Recognizability of all WIP-minimal logics”, Sibirsk. Mat. Zh., 59:1 (2018), 225–237; Siberian Math. J., 59:1 (2018), 179–188
Citation in format AMSBIB
\Bibitem{Yun18}
\by V.~F.~Yun
\paper Recognizability of all WIP-minimal logics
\jour Sibirsk. Mat. Zh.
\yr 2018
\vol 59
\issue 1
\pages 225--237
\mathnet{http://mi.mathnet.ru/smj2967}
\crossref{https://doi.org/10.17377/smzh.2018.59.119}
\elib{https://elibrary.ru/item.asp?id=32824608}
\transl
\jour Siberian Math. J.
\yr 2018
\vol 59
\issue 1
\pages 179--188
\crossref{https://doi.org/10.1134/S0037446618010196}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000427144300019}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85043494712}
Linking options:
  • https://www.mathnet.ru/eng/smj2967
  • https://www.mathnet.ru/eng/smj/v59/i1/p225
    • 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
    		Сибирский математический журнал Siberian Mathematical Journal
     
      Contact us:
    		  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024