Studia Logica

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

Mixed-valued predicate calculi

  • Helena Rasiowa
Article
  • 18 Downloads

Keywords

Mathematical Logic Computational Linguistic 

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