Share Email Print
cover

Proceedings Paper

Computer theorem proving in some extended logic
Author(s): Sławomir Płodczyk; Janusz Wesserling; Jan Mulawka
Format Member Price Non-Member Price
PDF $17.00 $21.00

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
PREMIUM CONTENT
Sign in to read the full article
Create a free SPIE account to get access to
premium articles and original research
Forgot your username?
close_icon_gray