Advertisement

Studia Logica

, Volume 22, Issue 1, pp 7–14 | Cite as

Undecidability of the homogeneous formulas of degree 3 of the predicate calculus

  • August Pieczkowski
Article

Keywords

Decision Problem Binary Relation Atomic Formula Finite Sequence Relation Symbol 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    S. Jaśkowski:Sur les variables propositionnelles dependantes, Studia Societatis Scientiarum Torunesis, Toruń, Polonia, Vol. I, 2 (1948), p. 17–21.Google Scholar
  2. [2]
    S. Jaśkowski:Undecidability of first order sentences in the theory of free groupoids, Fundamenta Mathematicae, vol. XLIII, 1 (1956), p. 36–45.Google Scholar
  3. [3]
    L. Henkin, A. Tarski:Cylindric Algebras, Proceedings of Symposia in Pure Mathematics, Vol. II, Lattice Theory, 1961, p. 83–113.CrossRefGoogle Scholar

Copyright information

© Warszawa 1968

Authors and Affiliations

  • August Pieczkowski
    • 1
  1. 1.Katedra MatematykiUniversytet im. M. KopernikaToruńPoland

Personalised recommendations