35 found
Order:
  1.  40
    Embedding the elementary ontology of stanisław leśniewski into the monadic second-order calculus of predicates.V. A. Smirnov - 1983 - 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 (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  2. Modality de re and Vasiliev's imaginary logics.V. A. Smirnov - 1986 - Logique Et Analyse 29 (14):205.
     
    Export citation  
     
    Bookmark   4 citations  
  3. Elimination des termesε dans la logique intuitioniste.V. A. Smirnov - 1971 - Revue Internationale de Philosophie 98:512-519.
    No categories
     
    Export citation  
     
    Bookmark   3 citations  
  4. Logicheskie Metody Analiza Nauchnogo Znaniia.V. A. Smirnov - 1987 - Nauka.
    No categories
     
    Export citation  
     
    Bookmark   2 citations  
  5.  19
    On Problems of the Evolution of Logic.V. A. Bocharov, E. K. Voishvillo, A. G. Dragalin & V. A. Smirnov - 1980 - Russian Studies in Philosophy 18 (4):31-52.
    Logic today is a ramified discipline existing on many levels. It is actively pursued by philosophers, mathemeticians, and computer specialists. The reason is that it is widely employed to solve a number of problems both in the theory of knowledge and in mathematics and computer science. But the broad spectrum of application of contemporary logic does not change the fact that its basic content has the nature of philosophical methodology. In contemporary logic it is the forms of thought and the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6. Terminy V Strukture Teorii Logicheskii Analiz.V. N. Karpovich & V. A. Smirnov - 1978 - Izd-Vo "Nauka," Sibirskoe Otd-Nie.
    No categories
     
    Export citation  
     
    Bookmark  
  7. Iskusstvo I Zhizn Izbrannye Stat I, Lektsii, Rechi, Pis Ma.William Morris, Aleksandr Abramovich Anikst, V. A. Smirnov & E. V. Kornilova - 1973 - Iskusstvo.
  8.  18
    A Correction to "Embedding the Elementary Ontology of Stanisław Leśniewski into the Monadic Second-Order Calculus of Predicates".V. A. Smirnov - 1986 - Studia Logica 45 (2):231 -.
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  41
    Correction.V. A. Smirnov - 1986 - Studia Logica 45 (2):231-231.
  10. Formalʹnyĭ vyvod i logicheskie ischislenii︠a︡.V. A. Smirnov - 1972 - Moskva,: "Nauka,".
    No categories
     
    Export citation  
     
    Bookmark  
  11.  21
    Internal and External Logic.V. A. Smirnov - 1988 - Bulletin of the Section of Logic 17 (3/4):170-181.
    In an essential way I make use of Frege’s and Vasilev’s ideas. N. A. Vasilev distinguished two levels in a logic. The abstract logic depends on gnoeologic assumptions while the empirical part of logic depends on ontological ones. Vasilev did not change the external logic but he did change the internal one. His system can be viewed as a non-standard syllogistics based on classical propositional logic . Vasilev’s ideas become plain if we discern cleary acts of predication and acts of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  12. Issledovanii︠a︡ po neklassicheskim logikam: VI Sovetsko-finskiĭ kollokvium.V. A. Smirnov (ed.) - 1989 - Moskva: "NAuka".
    No categories
     
    Export citation  
     
    Bookmark  
  13. Élimination des termes epsilon dans la logique intuitionniste.V. A. Smirnov - 1971 - Revue Internationale de Philosophie 25 (4=98):512.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  14.  1
    Logicheskie issledovanii︠a︡.V. A. Smirnov (ed.) - 1993 - Moskva: Nauka.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  15. Logicheskie issledovanii︠a︡: trudy nauchno-issledovatelʹskogo seminara po logike Instituta filosofii AN SSSR.V. A. Smirnov & A. S. Karpenko (eds.) - 1983 - Moskva: Akademii︠a︡ nauk SSSR, In-t filosofii.
     
    Export citation  
     
    Bookmark  
  16. Logicheskije Metodi Analiza Nauchnowo Znanija.V. A. Smirnov - 1989 - Studia Logica 48 (1):135-136.
     
    Export citation  
     
    Bookmark  
  17.  49
    Logical relations between theories.V. A. Smirnov - 1986 - Synthese 66 (1):71 - 87.
  18. Logicheskaja Semantika I Filosofskije Osnovanija Logiki.V. A. Smirnov - 1989 - Studia Logica 48 (1):136-137.
     
    Export citation  
     
    Bookmark  
  19.  3
    Логико-философские труды В.А. Смирнова.V. A. Smirnov & V. Shalak (eds.) - 2010 - Moskva: Ėditorial, URSS.
    Direct download  
     
    Export citation  
     
    Bookmark  
  20. Logicheskiĭ vyvod: [Sb. stateĭ].V. A. Smirnov (ed.) - 1979 - Moskva: Nauka.
     
    Export citation  
     
    Bookmark  
  21. Modality de re and Vasiliev's Imaginary Logics in Dynamics of Meaning and Modality.V. A. Smirnov - 1986 - Logique Et Analyse 29 (114):205-212.
  22. Modal Nye I Relevantnye Logiki.V. A. Smirnov - 1982 - Akademiia Nauk Sssr, in-T Filosofii.
     
    Export citation  
     
    Bookmark  
  23. Modalʹnye i intensionalʹnye logiki i ikh primenenie k problemam metodologii nauki.V. A. Smirnov, A. S. Karpenko & E. A. Sidorenko (eds.) - 1984 - Moskva: Izd-vo "Nauka".
    No categories
     
    Export citation  
     
    Bookmark  
  24. Mnogoznachnye, relevantnye i paraneprotivorechivye logiki: trudy nauchno-issledovatelʹskogo seminara po logike Instituta filosofii AN SSSR.V. A. Smirnov & A. S. Karpenko (eds.) - 1984 - Moskva: Akademii︠a︡ nauk SSSR, In-t filosofii.
     
    Export citation  
     
    Bookmark  
  25. Neklassicheskie logiki i ikh primenenii︠a︡: trudy Nauchno-issledovatelʹskogo seminara Instituta filosofii AN SSSR.V. A. Smirnov (ed.) - 1989 - Moskva: Akademii︠a︡ nauk SSSR, In-t filosofii.
     
    Export citation  
     
    Bookmark  
  26. Neklassicheskie logiki i propozit︠s︡ionalʹnye ustanovki: trudy Nauchno-issledovatelʹskiĭ seminara po logike Instituta filosofii AN SSSR.V. A. Smirnov, A. S. Karpenko & P. I. Bystrov (eds.) - 1987 - Moskva: Akademii︠a︡ nauk SSSR, In-t filosofii.
    No categories
     
    Export citation  
     
    Bookmark  
  27. Neklassicheskie logiki: trudy nauchno-issledovatelʹskogo seminara po logike Instituta filosofii AN SSSR.V. A. Smirnov & A. S. Karpenko (eds.) - 1985 - Moskva: Akademii︠a︡ nauk SSSR, In-t filosofii.
    No categories
     
    Export citation  
     
    Bookmark  
  28. Nestandartnye semantiki neklassicheskikh logik: trudy nauchno-issledovatelʹskogo seminara po logike Instituta filosofii AN SSSR.V. A. Smirnov & A. S. Karpenko (eds.) - 1986 - Moskva: Akademii︠a︡ nauk SSSR, In-t filosofii.
    No categories
     
    Export citation  
     
    Bookmark  
  29.  3
    Philosophical Logic and Logical Philosophy.V. A. Smirnov, P. I. Bystrov & V. N. Sadovskii - 1996 - Springer.
    Vladimir Aleksandrovich Smirnov was born on March 2, 1931. He graduated from Moscow State University in 1954. From 1957 till 1961 he was a lecturer in philosophy and logic at the Tomsk University. Since 1961 his scientific activity continued in Moscow at the Institute of Philosophy of Academy of Sciences of the USSR. From 1970 and till the last days of his life V. A. Smirnov was lecturer and then Professor at the Chair of Logic at Moscow State University. V. (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  30. Sintaksicheskie i semanticheskie issledovanii︠a︡ neėkstensionalʹnykh logik.V. A. Smirnov (ed.) - 1989 - Moskva: Nauka.
     
    Export citation  
     
    Bookmark  
  31.  1
    Teorii︠a︡ logicheskogo vyvoda.V. A. Smirnov - 1999 - Moskva: ROSSPĖN.
    Direct download  
     
    Export citation  
     
    Bookmark  
  32. XI Mezhdunarodnai︠a︡ konferent︠s︡ii︠a︡ Logika, metodologii︠a︡, filosofii︠a︡ nauki.V. A. Smirnov (ed.) - 1995 - Obninsk: IFRAN.
     
    Export citation  
     
    Bookmark  
  33. Filosofiia I Logika [Sbornik Statei].P. V. Tavanets & V. A. Smirnov (eds.) - 1974 - Moskva: Izd-vo "Nauka".
     
    Export citation  
     
    Bookmark  
  34. Filosofii︠a︡ i logika: [sbornik stateĭ.P. V. Tavanets & V. A. Smirnov (eds.) - 1974 - Moskva: Izd-vo "Nauka".
    No categories
     
    Export citation  
     
    Bookmark  
  35.  1
    Intensionalʹnye logiki i logicheskai︠a︡ struktura teoriĭ: materialy IV Sovetsko-finskogo simpoziuma po logike, Telavi, maĭ 20-24, 1985 g.V. A. Smirnov & M. N. Bezhanishvili (eds.) - 1988 - Tbilisi: "Met︠s︡niereba".
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark