Studia Logica

, Volume 54, Issue 3, pp 303–332 | Cite as

A partially ordered extention of the integers

  • George Epstein
  • Helena Rasiowa


This paper presents a monotonic system of Post algebras of order ω+ω* whose chain of Post constans is isomorphic with 0≤1≤2≤ ... ≤-3≤-2≤-1. Besides monotonic operations, other unary operations are considered; namely, disjoint operations, the quasi-complement, succesor, and predecessor operations. The successor and predecessor operations are basic for number theory.


Mathematical Logic Number Theory Computational Linguistic Unary Operation Post Constans 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Białynicki-Birula, A. andH. Rasiowa, 1957, ‘On the representation of quasi-Boolean algebras’,Bull. Ac. Pol. Sc. C1.III, 5, 615–617.Google Scholar
  2. Ng. Cat Ho, 1973, ‘Generalized Post algebras and their applications to some infinitary many-valued logics.’,Dissertationes Mathematicae CVII, 1–76.Google Scholar
  3. Ng. Cat Ho, andH. Rasiowa, 1987, ‘Semi-Post algebras’,Studia Logica, 46 (2), 147–158.Google Scholar
  4. Ng. Cat Ho, andH. Rasiowa, 1989, ‘Plain semi-Post algebras as a posets-based generalization of Post algebras and their representability’,Studia Logica, 48 (4), 509–530.Google Scholar
  5. Dwinger, Ph., 1966, ‘Notes on Post algebras I, II’,Indag. Math., 28, 462–478.Google Scholar
  6. Epstein G., andA. Horn, 1974, ‘P-algebras, An abstraction from Post algebras’,Algebra Universalis, 4, 195–206.Google Scholar
  7. Epstein G., 1960, ‘The lattice theory of Post algebras’,Trans. Amer. Math. Soc., 95, 300–317.Google Scholar
  8. Epstein G., andH. Rasiowa, 1986, ‘A P-algebraic extension of Post algebras of order ω+' Proc. ISMVL '86, Blacksburg, VA, 27–29 May 1986,IEEE Computer Society Press, 4–7.Google Scholar
  9. Epstein G., andH. Rasiowa, 1990, ‘Theory and uses of Post algebras of order ω+ω*, I’. Proc. 20th International Symposium on Multiple-Valued Logic ISMVL '90, Charlotte, NC, 23–25 May 1990,IEEE Computer Science Press, 42–47.Google Scholar
  10. Epstein G., andH. Rasiowa, 1991, ‘Theory and uses of Post algebras of order ω+ω*, Part II’, Proc. 21st Int'l Symp. on Multiple-Valued Logic ISMVL '91, Victoria B. C., 26–29 May 1991,IEEE Computer Science Press, 248–254.Google Scholar
  11. Rasiowa H., 1973, ‘On generalized Post algebras of order ω and ω+-valued predicate calculi’,Bull. Ac. Pol. Sci. Ser. Math. Astron. Phys., 21, 209–219.Google Scholar
  12. Rasiowa H., 1974, ‘An algebraic approach to non-classical logics’,Studies in Logic and the Foundations of Mathematics,Vol. 78, North Holland, London-New York.Google Scholar
  13. Rasiowa H., 1986, ‘Rough concepts and multiple-valued logic’, Proc. ISMVL '86, Blacksburg, VA, 27–29 May 1986,IEEE Computer Society Press, 282–288.Google Scholar
  14. Rasiowa H., 1988, ‘Logic of approximation reasoning’, Proc. 1st Workshop on Computer Science Logic, CSL '87, Karlsruhe, FRG, October 1987,E. Borger, H. Kleine Buning, M. M. Riichter, Lecture Notes in Computer Science 329, Springer, 188–210.Google Scholar
  15. Rasiowa H., 1989, ‘Logics of approximation reasoning semantically based on partially ordered sets’, Notes of invited lecture, ASL Logic Colloquium '89, Berlin, FRG.Google Scholar
  16. Rasiowa H., andG. Epstein, 1987, ‘Approximation reasoning and Scott's information systems.’ Proc. 2nd International Symposium on Methodologies for Intelligent Systems,North Holland, 33–42.Google Scholar
  17. Rousseau G., 1970, ‘Post algebras and pseudo-Post algebras’,Fund. Math. 67, 133–145.Google Scholar
  18. Rasiowa H., andR. Sikorski, 1950, ‘A proof of the completeness theorem of Godel’,Fund. Math., 37, 193–200.Google Scholar
  19. Rasiowa H., andR. Sikorski, 1970, ‘The Mathematics of Metamathematics’,Pol. Sci. Publ., 3rd ed. Google Scholar
  20. Traczyk T., 1967, ‘On Post algebras with uncountable chain of constants. Algebras and homomorphisms’,Bull. Ac. Pol. Sci., Ser. Math. Astron. Phys., 15, 673–680.Google Scholar

Copyright information

© Kluwer Academic Publishers 1995

Authors and Affiliations

  • George Epstein
    • 1
  • Helena Rasiowa
    • 1
  1. Charlotte College of EngineeringThe University of North CarolinaCharlotteUSA

Personalised recommendations