Skip to main content
SpringerLink
Log in

Mixed-valued predicate calculi

  • Published:
Studia Logica Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  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. A. Horn,Logic with truth values in a linearly ordered Heyting algebra, ibid. vol. 24 (1969), pp. 395–408.

    Google Scholar 

  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. 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. 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. H. Rasiowa,The Craig interpolation theorem for m-valued predicate calculi, ibid., vol. 20 (1972), pp. 341–346.

    Google Scholar 

  7. H. Rasiowa, On generalized Post algebras of order ω+ and ω+-valued predicate calculi, ibid. 21 (1973), pp. 209–219.

    Google Scholar 

  8. H. Rasiowa, A simplified formalization of ω+-valued algorithmic logic, ibid., vol. 22 (1974), pp. 595–603.

    Google Scholar 

  9. H. Rasiowa andR. Sikorski,The mathematics of metamathematics, 3rd edition, 1970.

  10. G. Rousseau,Post algebras and pseudo-Post algebras,Fundamenta Mathematicae, vol. 67 (1970), pp. 133–145.

    Google Scholar 

  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. T. P. Speed,A note on Post algebras,Colloquium Mathematicum, vol. 24 (1972), pp. 37–44.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Instituut voor Gronoslagenonderzook en Philosophie der Exacte Wetenschappen, Universiteit van Amsterdam, Amsterdam, Netherland

    Helena Rasiowa

  2. Institute of Mathematics, University of Warsaw, Warsaw, Poland

    Helena Rasiowa

Authors
  1. Helena Rasiowa
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Allatum est die 25 Martii 1975

Rights and permissions

Reprints and permissions

About this article

Cite this article

Rasiowa, H. Mixed-valued predicate calculi. Stud Logica 34, 215–234 (1975). https://doi.org/10.1007/BF02125224

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02125224

Keywords

Search

Navigation