Computer theorem proving in some extended logic

Sławomir Płodczyk; Janusz Wesserling; Jan Mulawka

doi:10.1117/12.2501599

1 October 2018 Computer theorem proving in some extended logic

Sławomir Płodczyk, Janusz Wesserling, Jan Mulawka

Proceedings Volume 10808, Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments 2018; 108082L (2018) https://doi.org/10.1117/12.2501599
Event: Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments 2018, 2018, Wilga, Poland

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.

Citation Download Citation

Sławomir Płodczyk, Janusz Wesserling, and Jan Mulawka "Computer theorem proving in some extended logic", Proc. SPIE 10808, Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments 2018, 108082L (1 October 2018); https://doi.org/10.1117/12.2501599

ACCESS THE FULL ARTICLE

INSTITUTIONAL
Select your institution to access the SPIE Digital Library.

SELECT YOUR INSTITUTION

PERSONAL
Sign in with your SPIE account to access your personal subscriptions or to use specific features such as save to my library, sign up for alerts, save searches, etc.

PERSONAL SIGN IN

No SPIE Account? Create one

PURCHASE THIS CONTENT

SUBSCRIBE TO DIGITAL LIBRARY

50 downloads per 1-year subscription

Members: $195

Non-members: $335 ADD TO CART

25 downloads per 1 - year subscription

Members: $145

Non-members: $250 ADD TO CART

PURCHASE SINGLE ARTICLE

Includes PDF, HTML & Video, when available