Advertisement

Studia Logica

, Volume 34, Issue 3, pp 215–234 | Cite as

Mixed-valued predicate calculi

  • Helena Rasiowa
Article

Keywords

Mathematical Logic Computational Linguistic 
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]
    W. Craig,Linear reasoning-A new form of the Herbrand-Gentzen theorem,Journal of Symbolic Logic, vol. 22 (1957), pp. 250–268.Google Scholar
  2. [2]
    A. Horn,Logic with truth values in a linearly ordered Heyting algebra, ibid. vol. 24 (1969), pp. 395–408.Google Scholar
  3. [3]
    L. Maksimova andD. Vakarelov, Semantics for ω+-valued predicate calculi, et. phys.,Bulletin de l'Académie Polonaise des Sciences,Série des sciences math., astr. et phys., vol. 22 (1974), pp. 765–771.Google Scholar
  4. [4]
    H. Rasiowa,A theorem on the existence of prime filters in Post algebras and the completeness theorem for some many-valued predicate calculi, ibid. vol. 17 (1969), pp. 347–354.Google Scholar
  5. [5]
    H. Rasiowa,Ultraproducts of m-valued models and a generalization of the Löwenheim-Skolem-Gödel-Malcev theorem for theories based on m-valued logics, ibid. vol. 18 (1970), pp. 415–420.Google Scholar
  6. [6]
    H. Rasiowa,The Craig interpolation theorem for m-valued predicate calculi, ibid., vol. 20 (1972), pp. 341–346.Google Scholar
  7. [7]
    H. Rasiowa, On generalized Post algebras of order ω+ and ω+-valued predicate calculi, ibid. 21 (1973), pp. 209–219.Google Scholar
  8. [8]
    H. Rasiowa, A simplified formalization of ω+-valued algorithmic logic, ibid., vol. 22 (1974), pp. 595–603.Google Scholar
  9. [9]
    H. Rasiowa andR. Sikorski,The mathematics of metamathematics, 3rd edition, 1970.Google Scholar
  10. [10]
    G. Rousseau,Post algebras and pseudo-Post algebras,Fundamenta Mathematicae, vol. 67 (1970), pp. 133–145.Google Scholar
  11. [11]
    Z. Saloni,Gentzen rules for m-valued logic,Bulletin de l'Académie Polonaise des Sciences,Série des sciences math., astr. et phys., vol. 20 (1972), pp. 819–824.Google Scholar
  12. [12]
    T. P. Speed,A note on Post algebras,Colloquium Mathematicum, vol. 24 (1972), pp. 37–44.Google Scholar

Copyright information

© Warzawa 1975

Authors and Affiliations

  • Helena Rasiowa
    • 1
    • 2
  1. 1.Instituut voor Gronoslagenonderzook en Philosophie der Exacte WetenschappenUniversiteit van AmsterdamAmsterdamNetherland
  2. 2.Institute of MathematicsUniversity of WarsawWarsawPoland

Personalised recommendations