11 September 2015 An implementation of tautological analysis of some three-valued logic
Author Affiliations +
Proceedings Volume 9662, Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments 2015; 96623F (2015) https://doi.org/10.1117/12.2205417
Event: XXXVI Symposium on Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments (Wilga 2015), 2015, Wilga, Poland
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.
© (2015) COPYRIGHT Society of Photo-Optical Instrumentation Engineers (SPIE). Downloading of the abstract is permitted for personal use only.
Daniel Rogulski, Daniel Rogulski, Janusz Wesserling, Janusz Wesserling, Jan Mulawka, Jan Mulawka, } "An implementation of tautological analysis of some three-valued logic", Proc. SPIE 9662, Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments 2015, 96623F (11 September 2015); doi: 10.1117/12.2205417; https://doi.org/10.1117/12.2205417
PROCEEDINGS
9 PAGES


SHARE
RELATED CONTENT

Text converter to support legislative process
Proceedings of SPIE (October 25 2013)
A proposal to describe a phenomenon of expanding language
Proceedings of SPIE (October 15 2012)
On proving in epistemic logic
Proceedings of SPIE (October 15 2012)
Quantum Fourier Transform (QFT) over Galois fields
Proceedings of SPIE (May 28 2013)
Reversible gates and circuits descriptions
Proceedings of SPIE (August 07 2017)
Gate-based decomposition of index generation functions
Proceedings of SPIE (September 28 2016)
Tactical assessment in a squad of intelligent bots
Proceedings of SPIE (September 14 2010)

Back to Top