Studia Logica

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

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

  • Victor K. Finn
Article

Keywords

Mathematical Logic Computational Linguistic Functional Completeness 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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