Share Email Print
cover

Proceedings Paper

An implementation of tautological analysis of some three-valued logic
Author(s): Daniel Rogulski; Janusz Wesserling; Jan Mulawka
Format Member Price Non-Member Price
PDF $14.40 $18.00

Paper Abstract

In this article, we are going to present the issue concerning the tautology for the three-valued logic of beliefs – LB3. The aim of the paper is to present a machine implementation of tautology analysis for the given logic. Due to the presented analysis, we can classify a given LB3 language formula as: tautology, contradiction, or a satisfiable function. We also present the method for decoding LB3 logic expressions, since machine implementation of any aspects related to logical systems require proper coding.

Paper Details

Date Published: 11 September 2015
PDF: 9 pages
Proc. SPIE 9662, Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments 2015, 96623F (11 September 2015); doi: 10.1117/12.2205417
Show Author Affiliations
Daniel Rogulski, Warsaw Univ. of Technology (Poland)
Cardinal Stefan Wyszyński Univ. (Poland)
Janusz Wesserling, Warsaw Univ. of Technology (Poland)
Cardinal Stefan Wyszyński Univ. (Poland)
Jan Mulawka, Warsaw Univ. of Technology (Poland)
Cardinal Stefan Wyszyński Univ. (Poland)


Published in SPIE Proceedings Vol. 9662:
Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments 2015
Ryszard S. Romaniuk, Editor(s)

© SPIE. Terms of Use
Back to Top