SHangin Vasiliy Olegovich. Automatic search of a natural conclusion in the classical logic of predicates. 2004

Automatic search of a natural conclusion in the classical logic of predicates: Dis.... kand. filos. Sciences: 09.00.07: Moscow, 2004 109 p. RSL OD, 61:05-9/168

Other dissertations on discipline Logic:

1. Devyàtkin Leonid YUrevich. Multiple-valued isomorphs classical propozitcionalnoj logicians - 2008
   Multiple-valued isomorphs classical propozitcionalnoj logicians: the dissertation... The candidate of philosophical sciences: 09.00.07 / Devjatkin Leonid Jurevich; [a protection Place: In philosophies of the Russian Academy of Sciences]. Moscow, 2008.161 p.: silt. RSL OD, 61 09-9/123
2. SHiyàn Taras Aleksandrovich. Structural descriptions of sets of formal theories: on a material formal sillogistik - 2008
   Structural descriptions of sets of formal theories: on a material formal sillogistik: the dissertation... The candidate of philosophical sciences: 09.00.07 / Shijan Taras Aleksandrovich; [a protection Place: Mosk. gos. Un y of M.V.Lomonosova]. Moscow, 2008.178 p.: silt. RSL OD, 61 09-9/3
   
3. Krushinskiy Andrey Andreevich. Logic of ancient China - 2006
   Logic of ancient China: dis.... Dr.s filos. Sciences: 09.00.07 Moscow, 2006 316 p. RSL OD, 71:07-9/88
4. Mikirtumov Ivan Borisovich. the sense Theory in general intensionalnoj to the logician - 2006
   The sense theory in general intensionalnoj to the logician: 09.00.07 Mikirtumov, Ivan Borisovich Teorija of sense in general intensionalnoj to the logician (from a principle kompozitcionalnosti to ehpistemicheskim to installations): the dissertation... Dr.s filos. Sciences: 09.00.07 St.-Petersburg, 2006 392 p. RSL OD, 71:07-9/122
   
5. Antonova Olga Arkadevna. Modern problems of use of tabular methods in the logician - 2005
   Modern problems of use of tabular methods in the logician: Dis.... Dr.s filos. Sciences: 09.00.07: SPb., 2005 346 p. RSL OD, 71:05-9/92
6. Grigorev Oleg Mihaylovich. Analitiko-tabular formalisation of systems of time logic - 2004
   Analitiko-tabular formalisation of systems of time logic: Dis.... kand. filos. Sciences: 09.00.07: Moscow, 2004 115 p. RSL OD, 61:04-9/648
7. Hahanyàn Valeriy Hristoforovich. the Intuitsionistsky logic and the theory of sets - 2004
   The Intuitsionistsky logic and the theory of sets: Dis.... Dr.s filos. Sciences: 09.00.07: M, 2004 189 p. RSL OD, 71:05-9/80
8. Hodikova Nina Anatolevna. Logiko-methodological research of an origin of the theory of search of a conclusion - 2004
   Logiko-methodological research of an origin of the theory of search of a conclusion: Dis.... kand. filos. Sciences: 09.00.07: Kaliningrad, 2004 167 p. RSL OD, 61:05-9/191
9. Kvartalova Nataliyà Leonidovna. Paraconsistency and relevance - 2004
   Paraconsistency and relevance: Dis.... kand. filos. Sciences: 09.00.07: Moscow, 2004 86 p. RSL OD, 61:04-9/450
10. Tarkovskiy Vladimir Nikolaevich. the Substantiation of the deductive approach in a scientific explanation - 2003
    A substantiation of the deductive approach in a scientific explanation: Dis.... kand. filos. Sciences: 09.00.07: St.-Petersburg, 2003 137 p. RSL OD, 61:04-9/141-1
11. Zolotov Edgar Stanislavovich. Application of system model of the argument to the text analysis - 2003
    Application of system model of the argument to the text analysis: Dis.... kand. filos. Sciences: 09.00.07: St.-Petersburg, 2003 189 p. RSL OD, 61:04-9/252
12. Nechitaylov YUriy Vyàcheslavovich. the Problem of formalisation of concepts of parallelism and the limited rationality means of dynamic logic of games - 2003
    A problem of formalisation of concepts of parallelism and the limited rationality means of dynamic logic of games: Dis.... kand. filos. Sciences: 09.00.07: St.-Petersburg, 2003 200 p. RSL OD, 61:04-9/303
13. YAyletkan Aleksandr Aleksandrovich. Expansion of expressive possibilities of language of modern logic - 2003
    Expansion of expressive possibilities of language of modern logic: Dis.... kand. filos. Sciences: 09.00.07: St.-Petersburg, 2003 162 p. RSL OD, 61:04-9/204
14. Komendantskiy Vladimir Evgenevich. the conclusion Theory in multiple-valued logicians - 2003
    The conclusion theory in multiple-valued logicians: Dis.... kand. filos. Sciences: 09.00.07: Moscow, 2003 155 p. RSL OD, 61:04-9/24-5
15. Agapov Evgeniy Petrovich. the Contribution With. Lesnevsky in semantics formation - 0000
    S.Lesnevskogo's contribution to semantics formation: silt RSL of OD 61:85-9/106
16. Kurbatov Vladimir Ivanovich. Actions and norms research logically deonticheskih modalities - 0000
    Actions and norms research logically deonticheskih modalities: research logically deonticheskih modalities Moscow, 1983 138 c.: silt RSL of OD 61:85-9/247
17. Novolodskayà Tatyàna Alekseevna. the Dialectic nature of value of language expressions (logiko-methodological aspects) - 0000
    The dialectic nature of value of language expressions (logiko-methodological aspects): silt RSL of OD 61:85-9/302
18. Popova Varvara Sergeevna. circle of the Logician in university philosophy of St.-Petersburg of the XX-th century beginning - 0000
    Logic in university philosophy of St.-Petersburg of the XX-th century beginning: 09.00.07 Popova, Barbarian Sergeevna of the Logician in university philosophy of St.-Petersburg of the XX-th century beginning (A.I.Vvedensky's discussion and N. O.Lossky): dis.... kand. filos. Sciences: 09.00.07 Kaliningrad, 2006 188 p. RSL OD, 61:07-9/122
19. ZHambaldagbaev Nima TCirenovich. Logiko-methodological problems of a scientific explanation - 0000
    Logiko-methodological problems of a scientific explanation: silt RSL of OD 61:85-9/378
20. Volchenko Mariyà Viktorovna. Logiko-semantic means of formalisation of the text in question-answer system - 0000
    Logiko-semantic means of formalisation of the text in question-answer system: silt RSL of OD 61:85-9/301