Share Email Print
cover

Proceedings Paper • new

Computer theorem proving in some extended logic
Author(s): Sławomir Płodczyk; Janusz Wesserling; Jan Mulawka
Format Member Price Non-Member Price
PDF $14.40 $18.00
cover GOOD NEWS! Your organization subscribes to the SPIE Digital Library. You may be able to download this paper for free. Check Access

Paper Abstract

This paper concerns theorem proving in some extended logic. As the core part of this work the computer application implementing Wiśniewski’s logic has been developed. The article begins with the presentation of logic syntax and semantics. The next part is a description of the proving system which is based on resolution rule, which enables automatization of the process. The final part focuses on a description of steps used for proving theorems. The correctness of the algorithm has been verified by experiments.

Paper Details

Date Published: 1 October 2018
PDF: 15 pages
Proc. SPIE 10808, Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments 2018, 108082L (1 October 2018); doi: 10.1117/12.2501599
Show Author Affiliations
Sławomir Płodczyk, Warsaw Univ. of Technology (Poland)
Janusz Wesserling, Cardinal Stefan Wyszyński Univ. (Poland)
Jan Mulawka, Warsaw Univ. of Technology (Poland)


Published in SPIE Proceedings Vol. 10808:
Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments 2018
Ryszard S. Romaniuk; Maciej Linczuk, Editor(s)

© SPIE. Terms of Use
Back to Top