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, Janusz Wesserling, 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)
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)
Support vector machines: heuristic of alternatives
Proceedings of SPIE (December 28 2007)

Back to Top