Inscriere cercetatori

Site nou !

Daca nu va puteti recupera parola (sau aveti alte probleme), scrieti-ne la pagina de contact. Situl vechi se gaseste la adresa old.ad-astra.ro

Facebook

Cognitive Binary Logic – The Natural Unified Formal Theory of Propositional Binary Logic

Domenii publicaţii > Ştiinţe informatice + Tipuri publicaţii > Articol în volumul unei conferinţe

Autori: N. Popescu-Bodorin, L. State

Editorial: WSEAS Press, Proc. 4th WSEAS International Conference on Computational Intelligence, p.135-142, 2010.

Rezumat:

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.

Cuvinte cheie: cognitive binary logic, liar paradox, cognitive implication, propositional binary logic, tertium non datur, CBL, CCBL, SCBL // cognitive binary logic, liar paradox, cognitive implication, propositional binary logic, tertium non datur, CBL, CCBL, SCBL

URL: http://fmi.spiruharet.ro/bodorin/articles/ecc-upb-2010-1.pdf