5 citations · 5 across the 1 of their papers we have counts for
1 paper
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…