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

Nicolaie Popescu-Bodorin, Luminita State

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 f…