Journal of Logic, Language and Information

, Volume 6, Issue 4, pp 460–464 | Cite as

John Barwise and Lawrence Moss, Vicious Circles: On the mathematics of Non-Wellfounded Phnenomena

  • Varol Akman

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Aczel, P., 1988. Non-Well-Founded Sets, CSLI Lecture Notes, No. 14, Stanford, CA: Center for the Study of Language and Information.Google Scholar
  2. Akman, V., 1986, "Writing self-replicating code," The Computer Journal 29, 573–574.Google Scholar
  3. Akman, V. and Pakkan, M., 1996, "Nonstandard set theories and information management," Journal of Intelligent Information Systems 6, 5–31.Google Scholar
  4. Allen, D.M., ed., 1960, The New American Poetry, New York: Grove Press.Google Scholar
  5. Barwise, J., 1975, Admissible Sets and Structures, New York: Springer-Verlag.Google Scholar
  6. Barwise, J., 1989, "Situations, sets, and the Axiom of Foundation," pp. 177–200 in The Situation in Logic, CSLI Lecture Notes, No. 17, Stanford, CA: Center for the Study of Language and Information.Google Scholar
  7. Barwise, J. and Perry, J., 1983, Situations and Attitudes. A Bradford Book. Cambridge, MA: The MIT Press.Google Scholar
  8. Barwise, J. and Etchemendy, J., 1987, The Liar: An Essay on Truth and Circularity, New York: Oxford University Press.Google Scholar
  9. Copi, I.M., 1979, Symbolic Logic, New York: Macmillan Publishing Co.Google Scholar
  10. Devlin, K., 1993, The Joy of Sets: Fundamentals of Contemporary Set Theory, New York: Springer-Verlag.Google Scholar
  11. Moschovakis, Y.N., 1994, Notes on Set Theory, New York: Springer-Verlag.Google Scholar
  12. Pakkan, M. and Akman, V., 1994, "Issues in commonsense set theory," Artificial Intelligence Review 8, 279–308.Google Scholar
  13. Pakkan, M. and Akman, V., 1995, "HYPERSOLVER: A graphical tool for commonsense set theory," Information Sciences 85, 43–61.Google Scholar

Copyright information

© Kluwer Academic Publishers 1997

Authors and Affiliations

  • Varol Akman
    • 1
  1. 1.Department of Computer Engineering and Information ScienceBilkent UniversityAnkaraTurkey

Personalised recommendations