SYMEVAL: A theorem prover based on the experimental logic

• Brown1,F.M. "An Experimental Logic Based on the Fundamental Deduction Principle" Artificial Intelligence Vol.30, 1986

  Google Scholar 

• Brown2,F.M. "Automatic Deduction in Set Theory" Department of Computer Science TR-86-6, University of Kansas

  Google Scholar 

• Brown,F.M. and Liu,P. "A Logic Programming and Verification System for Recursive Quantificational Logic" Proceedings IJCAI-85, 1985

  Google Scholar 

• Liu,P. A Logic-based Programming System, Ph.D Thesis. Department of Computer Science, The University of Texas at Austin 1986

  Google Scholar 

• Liu,P. and Chang,R. "A New Structural Induction Scheme for Proving Properties of Mutually Recursive Concepts" Proceedings of AAAI-87 1987

  Google Scholar 

• Luschei,E.C. The logical systems of Lesniewski, 1962

  Google Scholar 

• Schwind,C.B. Ein Formalismus zur Beschreibung der Syntax und Bedeutung von Frage-Antwort-Systemen, Ph.D. Thesis, Technische Universitat, 1977

  Google Scholar 

• Quine,W.V.O. SET THEORY AND ITS LOGIC, Harvard University Press, 1969

  Google Scholar 

Download references