Did you mean: Bolivar, D. A.
  1. D. A. Bochvar (1984). On the Consistency of a Three-Valued Logical Calculus. Topoi 3 (1):3-12.
    [This résumé was published in English in Matematicheskii Sbornik along with the article.]The present paper contains an investigation of a three-valued logical calculus (the system) previously described by the author [Recueil Mathématique 4 (46), 2 (1938)].
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  2. D. A. Bochvar & Merrie Bergmann (1981). On a Three-Valued Logical Calculus and its Application to the Analysis of the Paradoxes of the Classical Extended Functional Calculus. History and Philosophy of Logic 2 (1-2):87-112.
    A three-valued propositional logic is presented, within which the three values are read as ?true?, ?false? and ?nonsense?. A three-valued extended functional calculus, unrestricted by the theory of types, is then developed. Within the latter system, Bochvar analyzes the Russell paradox and the Grelling-Weyl paradox, formally demonstrating the meaninglessness of both.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation