Language:   Search:   Contact
World of
Mathematics Database
»ZBMATH« MSC 2000
MSC 2010 Reviewer
Service Subscription
»ZBMATH«
ZBMATH Database | Simple Search Print
Read more | Try MathML | Hide
Zentralblatt MATH has released its new interface!
For an improved author identification, see the new author database of ZBMATH.

ZBMATH Database Simple Search Advanced Search Command Search

Simple Search

Query:
Enter a query and click »Search«...
Format:
Display: entries per page entries
Zbl 0792.68165
Štěpán, Jan
Propositional calculus proving methods in Prolog. (English)
[J] Acta Univ. Palacki. Olomuc., Fac. Rerum Nat. 97, Math. 29, 301-321 (1990). ISSN 0231-9721

Summary: Two methods of proving the theorems of the propositional calculus are described in this paper -- Wang's algorithm and the method of analytical tables. Two programs in Prolog are quotated to Wang's algorithm, for the method of analytical tables author's program is presented. Efficiency of the programs is demonstrated on examples. Further, the practical and didactic value of presented methods and programs is discussed.
MSC 2000:
*68T15 Theorem proving
03B35 Mechanical theorem proving

Keywords: theorem proving; Prolog; propositional calculus; Wang's algorithm; method of analytical tables

Comment on this Item PDF MathML XML ASCII DVI PS BibTeX Online Ordering Article Journal Journal

Login Username: Password:

Highlights
Scientific prize winners of the ICM 2010
Overhang
Lie groups, physics and geometry. An introduction for physicists, engineers and chemists.

Master Server

Zentralblatt MATH Berlin [Germany]

© FIZ Karlsruhe GmbH

Zentralblatt MATH master server is maintained by the Editorial Office in Berlin, Section Mathematics and Computer Science of FIZ Karlsruhe and is updated daily.

Other Mirror Sites

Copyright © 2013 Zentralblatt MATH | European Mathematical Society | FIZ Karlsruhe | Heidelberg Academy of Sciences
Published by Springer-Verlag | Webmaster