Inscriere cercetatori

Premii Ad Astra

premii Ad Astra

Asociația Ad Astra a anunțat câștigătorii Premiilor Ad Astra 2022: http://premii.ad-astra.ro/. Proiectul și-a propus identificarea și popularizarea modelelor de succes, a rezultatelor excepționale ale cercetătorilor români din țară și din afara ei.

Asociatia Ad Astra a cercetatorilor romani lanseaza BAZA DE DATE A CERCETATORILOR ROMANI DIN DIASPORA. Scopul acestei baze de date este aceea de a stimula colaborarea dintre cercetatorii romani de peste hotare dar si cu cercetatorii din Romania. Cercetatorii care doresc sa fie nominalizati in aceasta baza de date sunt rugati sa trimita un email la cristian.presura@gmail.com

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