Did you mean: Bolivar, D. A.
  1.  45
    On a Three-Valued Logical Calculus and its Application to the Analysis of the Paradoxes of the Classical Extended Functional Calculus.D. A. Bochvar & Merrie Bergmann - 1981 - 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)  
    Export citation  
    My bibliography   10 citations  
  2.  78
    On the Consistency of a Three-Valued Logical Calculus.D. A. Bochvar - 1984 - 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)  
    Export citation  
    My bibliography   1 citation