SYMEVAL: A theorem prover based on the experimental logic

  • Frank M. Brown
  • Seung S. Park
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 310)


  1. Brown1,F.M. "An Experimental Logic Based on the Fundamental Deduction Principle" Artificial Intelligence Vol.30, 1986Google Scholar
  2. Brown2,F.M. "Automatic Deduction in Set Theory" Department of Computer Science TR-86-6, University of KansasGoogle Scholar
  3. Brown,F.M. and Liu,P. "A Logic Programming and Verification System for Recursive Quantificational Logic" Proceedings IJCAI-85, 1985Google Scholar
  4. Liu,P. A Logic-based Programming System, Ph.D Thesis. Department of Computer Science, The University of Texas at Austin 1986Google Scholar
  5. Liu,P. and Chang,R. "A New Structural Induction Scheme for Proving Properties of Mutually Recursive Concepts" Proceedings of AAAI-87 1987Google Scholar
  6. Luschei,E.C. The logical systems of Lesniewski, 1962Google Scholar
  7. Schwind,C.B. Ein Formalismus zur Beschreibung der Syntax und Bedeutung von Frage-Antwort-Systemen, Ph.D. Thesis, Technische Universitat, 1977Google Scholar
  8. Quine,W.V.O. SET THEORY AND ITS LOGIC, Harvard University Press, 1969Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • Frank M. Brown
    • 1
  • Seung S. Park
    • 2
  1. 1.Artificial Intelligence Research Institute, Inc.University of KansasUSA
  2. 2.Artificial Intelligence Research Institute, Inc.University of TexasAustin

Personalised recommendations