8 found
Sort by:
  1. V. A. Smirnov (1988). Internal and External Logic. Bulletin of the Section of Logic 17 (3/4):170-181.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. V. A. Smirnov (1986). A Correction to "Embedding the Elementary Ontology of Stanisław Leśniewski Into the Monadic Second-Order Calculus of Predicates". Studia Logica 45 (2):231 -.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  3. V. A. Smirnov (1986). Correction. Studia Logica 45 (2):231-231.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  4. V. A. Smirnov (1986). Logical Relations Between Theories. Synthese 66 (1):71 - 87.
  5. V. A. Smirnov (1986). Modality de Re and Vasiliev's Imaginary Logics in Dynamics of Meaning and Modality. Logique Et Analyse 29 (114):205-212.
     
    My bibliography  
     
    Export citation  
  6. V. A. Smirnov (1983). Embedding the Elementary Ontology of Stanisław Leśniewski Into the Monadic Second-Order Calculus of Predicates. Studia Logica 42 (2-3):197 - 207.
    LetEO be the elementary ontology of Leniewski formalized as in Iwanu [1], and letLS be the monadic second-order calculus of predicates. In this paper we give an example of a recursive function , defined on the formulas of the language ofEO with values in the set of formulas of the language of LS, such that EO A iff LS (A) for each formulaA.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  7. 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  
  8. V. A. Smirnov (1971). Elimination des termesε dans la logique intuitioniste. Revue Internationale de Philosophie 98:512-519.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation