Cognitive binary logic - the natural unified formal theory of propositional binary logic

Authors:
Nicolaie Popescu-Bodorin;Luminiţa State
Affiliations:
Spiru Haret University, Dept. of Mathematics and Computer Science, Bucharest 3, Romania;University of Piteşti, Dept. of Mathematics and Computer Science, Piteşti, Argeş, Romania
Venue:
CI'10 Proceedings of the 4th WSEAS international conference on Computational intelligence
Year:
2010

Citing 2
Cited 1

Logic for computer science: foundations of automatic theorem proving

Logic for computer science: foundations of automatic theorem proving
Modal logic

Modal logic

AI challenges in iris recognition. processing tools for bath iris image database

ICAI'10 Proceedings of the 11th WSEAS international conference on Automation & information

Quantified Score

Hi-index	0.01

Visualization

Abstract

This paper presents a formal theory which describes propositional binary logic as a semantically closed formal language, and allows for syntactically and semantically well-formed formulae, formal proofs (demonstrability in Hilbertian acception), deduction (Gentzen's view of demonstrability), CNF-ization, and deconstruction to be expressed and tested in the same (computational) formal language, using the same data structure. It is also shown here that Cognitive Binary Logic is a self-described theory in which the Liar Paradox is deconstructed.