Proceedings of the scientific research seminar of the Logic Center of the Institute of Philosophy RAS. 1999-2000. No. XIV. (Q2762939)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Proceedings of the scientific research seminar of the Logic Center of the Institute of Philosophy RAS. 1999-2000. No. XIV. |
scientific article; zbMATH DE number 1689791
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Proceedings of the scientific research seminar of the Logic Center of the Institute of Philosophy RAS. 1999-2000. No. XIV. |
scientific article; zbMATH DE number 1689791 |
Statements
13 January 2002
0 references
Proceedings
0 references
Scientific research seminar
0 references
Logic Center of the Institute of Philosophy
0 references
0.95779014
0 references
0.8431901
0 references
Proceedings of the scientific research seminar of the Logic Center of the Institute of Philosophy RAS. 1999-2000. No. XIV. (English)
0 references
The articles of this volume will be reviewed individually.NEWLINENEWLINEIndexed articles:NEWLINENEWLINE\textit{Nepejvoda, N. N.}, Levels of knowledge and skills, 9-35 [Zbl 1009.03505]NEWLINENEWLINE\textit{Popov, V. M.}, Embedding of classical propositional logic into its implicative fragment and into the implicative fragment of intuitionistic propositional logic, 36-41 [Zbl 1011.03500]NEWLINENEWLINE\textit{Zajtsev, D. V.}, Combinators and implicative formulas, 42-53 [Zbl 1009.03510]NEWLINENEWLINE\textit{Karpenko, A. S.}, Independent axiomatization of the implicative fragment of Łukasiewicz's infinite-valued Ł\(_\omega\), 54-58 [Zbl 1009.03516]NEWLINENEWLINE\textit{Chagrov, A. V.}, A logic that is neither finite-valued nor infinite-valued, 59-67 [Zbl 1019.03016]NEWLINENEWLINE\textit{Bystrov, P. I.}, Normalization methods for deductions in relevant logic, 68-75 [Zbl 1009.03512]NEWLINENEWLINE\textit{Pavlov, S. A.}, Complete equivalence, Kleene's logics and Bochvar's logic, 76-80 [Zbl 1015.03033]NEWLINENEWLINE\textit{Rybakov, M. N.; Chagrov, A. V.}, Standard translations of nonclassical formulae and relative decidability of logics, 81-98 [Zbl 1013.03010]NEWLINENEWLINE\textit{Vereshagin, N. K.; Lyubetskij, V. A.}, An algorithm searching for secondary structures of RNA, 99-109 [Zbl 1013.92020]NEWLINENEWLINE\textit{Smirnova, E. D.}, A theory of semantic categories for languages with indefinitely placed functors, 110-113 [Zbl 1015.03505]NEWLINENEWLINE\textit{Vasyukov, V. L.}, Three reinterpretations of T. Czeżowski's formal theory of values, 114-127 [Zbl 1009.03506]NEWLINENEWLINE\textit{Il'in, A. A.}, Negative fundamental syllogistics, 128-138 [Zbl 1015.03508]NEWLINENEWLINE\textit{Anisov, A. M.}, Zeno's apories and the problem of motion, 139-155 [Zbl 1017.01001]NEWLINENEWLINE\textit{Ivlev, Yu. V.}, Some problems of the Tractatus logico-philosophicus from the viewpoint of modern logic, 156-165 [Zbl 1009.03507]
0 references
