Studia Logica

, Volume 33, Issue 2, pp 121–125 | Cite as

A criterion of functional completeness for\(\mathfrak{B}^3 \)

  • Victor K. Finn


Mathematical Logic Computational Linguistic Functional Completeness 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    D.A. Bochvar,On a three-valued calculus and its application to analysis of paradoxes of classical higher functional calculus (in Russian), Matematičeskii Sbornik, vol. 4, Nr 2 (1938).Google Scholar
  2. [2]
    V.J. Shestakov,On mutual relations between some three-valued logical calculi (in Russian), Uspehi Matematičeskih Nauk, vol. 19, No. 2 (16) (1964).Google Scholar
  3. [3]
    V.K. Finn,On axiomatization of some three-valued logics (in Russian), Naučno-techničeskaja Informacija, Series 2, No. 2 (1971).Google Scholar
  4. [4]
    V.K. Finn,Axiomatization of some three-valued sentential calculi and their algebras, 1972, a manuscript deposed inAll-Union Institute ofScientific andTechnical Information, USSR, dep. 4471-71.Google Scholar
  5. [5]
    S.A. Ianovskaja,Mathematical logic and foundations of mathematics, in the collection:Fourty years of mathematics in USSR (in Russian), Moscow, 1959.Google Scholar
  6. [6]
    S.V. Jablonskij,Functional constructions in k-valued logic (in Russian),Trudy Matematičeskogo Instituta im. V. A. Steklova, vol. 1 (1958).Google Scholar
  7. [7]
    V.J. Shestakov,On a fragment of the calculus of D.A.Bochvar,Information-theoretic questions of semiotics, linguistics and automatic translation (in Russian), Moscow, 1971.Google Scholar
  8. [8]
    S. Halldén,The logic of nonsense, Uppsala, 1949.Google Scholar

Copyright information

© Warzawa 1974

Authors and Affiliations

  • Victor K. Finn
    • 1
  1. 1.All-Union Institute of Scientific and Technical InformationUSSR

Personalised recommendations