1. V. A. Bocharov (1986). Boolean Algebra and Syllogism. Synthese 66 (1):35 - 54.
    This article contains the proof of equivalence boolean algebra and syllogistics arc2. The system arc2 is obtained as a superstructure above the propositional calculus. Subjects and predicates of syllogistic functors a, E, J, O may be complex terms, Which are formed using operations of intersection, Union and complement. In contrast to negative sentences the interpretation of affirmative sentences suggests non-Empty terms. To prove the corresponding theorem we demonstrate that boolean algebra is included into syllogistics arc2 and vice versa.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  2. V. A. Bocharov (1983). Subject-Predicate Calculus Free From Existential Import. Studia Logica 42 (2-3):209 - 221.
    Two subject-predicate calculi with equality,SP = and its extensionUSP =, are presented as systems of natural deduction. Both the calculi are systems of free logic. Their presentation is preceded by an intuitive motivation.It is shown that Aristotle's syllogistics without the laws of identitySaP andSiP is definable withinSP =, and that the first-order predicate logic is definable withinUSP =.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  3. V. A. Bocharov, E. K. Voishvillo, A. G. Dragalin & V. A. Smirnov (1980). On Problems of the Evolution of Logic. Russian Studies in Philosophy 18 (4):31-52.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation