Skip to main content
SpringerLink
Log in

Post Algebras in the Work of Helena Rasiowa

  • Chapter
  • First Online:
The Lvov-Warsaw School. Past and Present

Part of the book series: Studies in Universal Logic ((SUL))

  • 879 Accesses

Abstract

A survey of some classes of Post algebras is given including the class of plain semi-Post algebras, Post algebras of order m, m>1, as its particular instance, Post algebras of order ω +, and Post algebras of order ω + ω ∗. Representation theorems for each of the classes are given. Some examples of the algebras in the classes are constructed.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 119.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 159.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 159.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Cat-Ho, N.: Generalized post algebras and their applications to some infinitary many-valued logics. Diss. Math. 57, 1–76 (1973)

    MATH  Google Scholar 

  2. Cat-Ho, N., Rasiowa, H.: Semi-Post algebras. Stud. Logica. 46(2), 147–158 (1987)

    MathSciNet  MATH  Google Scholar 

  3. Cat-Ho, N., Rasiowa, H.: Plain semi-Post algebras as a poset-based generalization of Post algebras and their representability. Stud. Logica. 48(4), 509–530 (1989)

    Article  MathSciNet  Google Scholar 

  4. Cat-Ho, N., Rasiowa, H.: LT-fuzzy logics. In: Zadeh, L.A., Kacprzyk, J. (eds.) Fuzzy Logic for Management of Uncertainty, pp. 121–139. Wiley, New York (1992)

    MATH  Google Scholar 

  5. Chang, C.C., Horn, A.: Prime ideals characterisation of generalized Post algebras. Proc. Symp. Pure Math. 2, 43–48 (1961)

    Article  Google Scholar 

  6. Dwinger, Ph.: Notes on Post algebras I, II. Indag. Math. 28, 462–478 (1966)

    Article  MathSciNet  Google Scholar 

  7. Dwinger, Ph.: Generalized Post algebras. Bull. Acad. Pol. Sci. Math. 16, 559–563 (1968)

    MathSciNet  MATH  Google Scholar 

  8. Dwinger, Ph.: A survey of the theory of Post algebras and their generalizations. In: Dunn, J.M., Epstein, G. (eds.) Modern Uses of Multiple-Valued Logic, pp. 53–75. Reidel, Dordrecht (1977)

    Google Scholar 

  9. Epstein, G.: The lattice theory of Post algebras. Trans. Am. Math. Soc. 95, 300–317 (1960)

    Article  MathSciNet  Google Scholar 

  10. Epstein, G., Horn, A.: P-algebras. An abstraction from Post algebras. Algebra Univers. 4, 195–206 (1974)

    MATH  Google Scholar 

  11. Epstein, G., Rasiowa, H.: Theory and uses of Post algebras of order ω + ω ∗, Part I. In: Proceedings of the 20th International Symposium on Multiple-Valued Logic, Charlotte, NC, pp. 42–47 (1990)

    Google Scholar 

  12. Epstein, G., Rasiowa, H.: Theory and uses of Post algebras of order ω + ω ∗, Part II. In: Proceedings of the 21th International Symposium on Multiple-Valued Logic, Victoria, pp. 248–254 (1991)

    Google Scholar 

  13. Konikowska, B., Morgan, Ch., Orłowska, E.: Relational formalisation of arbitrary finite valued logics. Log. J. Interest Group Pure Appl. Logic 6(5), 755–774 (1998)

    MathSciNet  MATH  Google Scholar 

  14. Maksimova, L., Vakarelov, D.: Representation theorems for generalized Post algebras of order ω +. Bull. Acad. Pol. Sci. Math. 22(8), 757–764 (1974)

    MathSciNet  MATH  Google Scholar 

  15. Maksimova, L., Vakarelov, D.: Semantics for ω +-valued predicate calculi. Bull. Acad. Pol. Sci. Math. 22(8), 765–771 (1974)

    MathSciNet  MATH  Google Scholar 

  16. Nour, A.: Etude de modeles logiques. Extensions de la logique intuitionniste. PhD dissertation, University Joseph Fourier, Grenoble (1997)

    Google Scholar 

  17. Orłowska, E.: The Herbrand theorem for ω +-valued logic. Bull. Acad. Pol. Sci. Math. 25(11), 1069–1071 (1977)

    MathSciNet  MATH  Google Scholar 

  18. Orłowska, E.: The resolution principle for ω +-valued logic. Fundamenta Informaticae 2, 1–15 (1978)

    MathSciNet  MATH  Google Scholar 

  19. Orłowska, E.: Resolution systems and their applications II. Fundamenta Informaticae 3, 333–362 (1980)

    MathSciNet  MATH  Google Scholar 

  20. Orłowska, E.: Mechanical proof methods for Post logics. Log. Anal. 110–111, 173–192 (1985)

    MathSciNet  MATH  Google Scholar 

  21. Orłowska, E.: Post relation algebras and their proof system. In: Proceedings of the 21th International Symposium on Multiple-Valued Logic, Victoria, pp. 298–305 (1991)

    Google Scholar 

  22. Perkowska, E.: Herbrand theorem for theories based on m-valued logics. Bull. Acad. Pol. Sci. Math. 19, 893–899 (1971)

    MathSciNet  MATH  Google Scholar 

  23. Perkowska, E.: On algorithmic m-valued logics. Bull. Acad. Pol. Sci. Math. 20, 717–719 (1972)

    MathSciNet  MATH  Google Scholar 

  24. Post, E.: Introduction to a general theory of elementary propositions. Bull. Am. Math. Soc. 26 (1920)

    Google Scholar 

  25. Post, E.: Introduction to a general theory of elementary propositions. Am. J. Math. 43, 163–185 (1921)

    Article  MathSciNet  Google Scholar 

  26. Przymusińska, H.: Craig interpolation theorem and Hanf number for 𝜗-valued infinitary predicate calculi. Bull. Acad. Pol. Sci. Math. 28, 207–211 (1980)

    MathSciNet  MATH  Google Scholar 

  27. Przymusińska, H.: Gentzen type semantics for 𝜗-valued infinitary predicate calculi. Bull. Acad. Pol. Sci. Math. 28, 203–206 (1980)

    MathSciNet  MATH  Google Scholar 

  28. Przymusińska, H.: On 𝜗-valued infinitary predicate calculi. Bull. Acad. Pol. Sci. Math. 28, 193–198 (1980)

    MathSciNet  MATH  Google Scholar 

  29. Przymusińska, H.: Some results concerning 𝜗-valued infinitary predicate calculi. Bull. Acad. Pol. Sci. Math. 28, 199–202 (1980)

    MathSciNet  MATH  Google Scholar 

  30. Rasiowa, H.: A theorem on existence of prime filters in Post algebras and the completeness theorem for some many-valued predicate calculi. Bull. Acad. Pol. Sci. Math. 17, 347–354 (1969)

    MathSciNet  MATH  Google Scholar 

  31. Rasiowa, H.: Ultraproducts of m-valued models and a generalization of the Löwenheim-Skolem-Gödel-Malcev theorem for theories based on m-valued logics. Bull. Acad. Pol. Sci. Math. 18, 415–420 (1970)

    MATH  Google Scholar 

  32. Rasiowa, H.: The Craig interpolation theorem for m-valued predicate calculi. Bull. Acad. Pol. Sci. Math. 20, 341–346 (1972)

    MathSciNet  MATH  Google Scholar 

  33. Rasiowa, H.: Formalised ω +-valued algorithmic systems. Bull. Acad. Pol. Sci. Math. 21, 559–565 (1973)

    MATH  Google Scholar 

  34. Rasiowa, H.: On generalized Post algebras of order ω + and ω +-valued predicate calculi. Bull. Acad. Pol. Sci. Math. 21, 209–219 (1973)

    MathSciNet  MATH  Google Scholar 

  35. Rasiowa, H.: An Algebraic Approach to Non-classical Logics. North Holland and Polish Scientific Publishers, Amsterdam, Warsaw (1974)

    MATH  Google Scholar 

  36. Rasiowa, H.: Extended ω +-valued algorithmic logic (a formalised theory of programs with recursive procedures). Bull. Acad. Pol. Sci. Math. 22, 605–610 (1974)

    MATH  Google Scholar 

  37. Rasiowa, H.: Many-valued algorithmic logic as a tool to investigate programs. In: Epstein, G., Dunn, J.M. (eds.) Modern Uses of Multiple–Valued Logic, pp.77–102. Reidel, Dordrecht (1977)

    Chapter  Google Scholar 

  38. Rasiowa, H.: Algorithmic logic. Multiple-valued extension. Stud. Logica. 38(4), 317–325 (1979)

    MathSciNet  MATH  Google Scholar 

  39. Rasiowa, H.: Topological representations of Post algebras of order ω + and open theories based on ω +-valued Post logic. Stud. Logica. 44(4), 353–368 (1985)

    Article  MathSciNet  Google Scholar 

  40. Rasiowa, H.: Towards fuzzy logic. In: Zadeh, L.A., Kacprzyk, J. (eds.) Fuzzy Logic for Management of Uncertainty, pp. 5–25. Wiley, New York (1992)

    Google Scholar 

  41. Rasiowa, H.: Axiomatization and completeness of uncountably-valued approximation logic. Stud. Logica. 53(1), 137–160 (1994)

    Article  MathSciNet  Google Scholar 

  42. Rasiowa, H., Epstein, G.: Approximation reasoning and Scott’s information systems. In: Proceedings of the 2nd International Symposium on Methodologies for Intelligent Systems, North Holland, pp. 33–42 (1987)

    Google Scholar 

  43. Rosenbloom, P.C.: Post algebras, I. Postulates and general theory. Am. J. Math. 64, 167–188 (1942)

    MATH  Google Scholar 

  44. Rousseau, G.: Logical systems with finitely truth values. Bull. Acad. Pol. Sci. Math. 17, 189–194 (1969)

    MathSciNet  MATH  Google Scholar 

  45. Rousseau, G.: Post algebras and pseudo-Post algebras. Fundam. Math. 67, 133–145 (1970)

    Article  MathSciNet  Google Scholar 

  46. Saloni, Z.: Gentzen rules for the m-valued logic. Bull. Acad. Pol. Sci. Math. 20, 819–826 (1972)

    MathSciNet  MATH  Google Scholar 

  47. Traczyk, T.: Some theorems on independence in Post algebras. Bull. Acad. Pol. Sci. Math. 10, 3–8 (1963)

    MathSciNet  MATH  Google Scholar 

  48. Traczyk, T.: An equational definition of a class of Post algebras. Bull. Acad. Pol. Sci. Math. 12, 147–149 (1964)

    MathSciNet  MATH  Google Scholar 

  49. Traczyk, T.: On Post algebras with uncountable chain of constants. Algebras and homomorphisms. Bull. Acad. Pol. Sci. Math. 15, 673–680 (1967)

    MathSciNet  MATH  Google Scholar 

  50. Traczyk, T.: Prime ideals in generalized Post algebras. Bull. Acad. Pol. Sci. Math. 16, 369–373 (1968)

    MATH  Google Scholar 

  51. Urquhart, A.: An interpretation of many-valued logic. Z. Math. Logik Grundlagen der Mathematik 19, 111–114 (1973)

    Article  MathSciNet  Google Scholar 

  52. Vakarelov, D.: Lattices related to Post algebras and their applications to some logical systems. Stud. Logica. 36, 89–107 (1977)

    Article  MathSciNet  Google Scholar 

  53. Wade, L.I.: Post algebras and rings. Duke Math. J. 12, 389–395 (1945)

    Article  MathSciNet  Google Scholar 

  54. Zabel, N.: New techniques for automated deduction in many-valued first order, finite and infinite logics. PhD thesis, Institut National Polytechnique de Grenoble (1993)

    Google Scholar 

Download references

Acknowledgment

Support from the National Science Centre project DEC-2011/02/A/HS1/00395 is gratefully acknowledged.

Author information

Authors and Affiliations

  1. National Institute of Telecommunications, Warszawa, Poland

    Ewa Orłowska

Authors
  1. Ewa Orłowska
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Ewa Orłowska .

Editor information

Editors and Affiliations

  1. Department of Fundamental Mathematics, UNED, Madrid, Spain

    Ángel Garrido

  2. Cardinal Stefan Wyszyński University in Warsaw, Warsaw, Poland

    Urszula Wybraniec-Skardowska

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG, part of Springer Nature

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Orłowska, E. (2018). Post Algebras in the Work of Helena Rasiowa. In: Garrido, Á., Wybraniec-Skardowska, U. (eds) The Lvov-Warsaw School. Past and Present. Studies in Universal Logic. Birkhäuser, Cham. https://doi.org/10.1007/978-3-319-65430-0_49

Download citation

Publish with us

Policies and ethics

Search

Navigation