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, 1977, Volume 22, Issue 1, Pages 23–28 (Mi mzm8021)  
This article is cited in 12 scientific papers (total in 12 papers)

New operations in intuitionistic calculus

A. V. Bessonov

Institute of History, Philology, and Philosophy, Siberian Branch of the Academy of Sciences of the USSR
Full-text PDF (485 kB) Citations (12)
Abstract: The question is studied of the possibility of extending the intuitionistic propositional calculus by adding single-valued one-place operations which are not expressible in terms of conjunction, disjunction, implication, or negation. There is constructed a system of correct calculi with new single-valued operations which is isomorphic to the family of proper extensions of the intuitionistic propositional calculus.
Received: 17.02.1975
English version:
Mathematical Notes, 1977, Volume 22, Issue 1, Pages 503–506
DOI: https://doi.org/10.1007/BF01147689
Bibliographic databases:
Language: Russian
Citation: A. V. Bessonov, “New operations in intuitionistic calculus”, Mat. Zametki, 22:1 (1977), 23–28; Math. Notes, 22:1 (1977), 503–506
Citation in format AMSBIB
\Bibitem{Bes77}
\by A.~V.~Bessonov
\paper New operations in intuitionistic calculus
\jour Mat. Zametki
\yr 1977
\vol 22
\issue 1
\pages 23--28
\mathnet{http://mi.mathnet.ru/mzm8021}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=453500}
\zmath{https://zbmath.org/?q=an:0365.02014}
\transl
\jour Math. Notes
\yr 1977
\vol 22
\issue 1
\pages 503--506
\crossref{https://doi.org/10.1007/BF01147689}
Linking options:
  • https://www.mathnet.ru/eng/mzm8021
  • https://www.mathnet.ru/eng/mzm/v22/i1/p23
    • This publication is cited in the following 12 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, 2024