| 1. P.BYSTROV, Tableaux variants of some modal and relevant systems | 92 [PDF 2006] |
| 2. A.T.ISCHMURATOV, Logic of intensional acts and the theory of games | 104 [PDF 2006] |
| 3. J.V.IVLEV, A semantics for modal calculi | 114 [PDF 2006] |
| 4. A.S.KARPENKO, Algebraic structure of the truth-values for Lω | 127 [PDF 2006] |
| 5. N.N.NEPEJVODA, A constructive logic of program schemata on a decidable universe | 138 [PDF 2006] |
| 6. V.M.POPOV, Paraconsistent sequential calculi | 148 [PDF 2006] |
| 7. O.F.SEREBRIANNIKOV, Cut-elimination in second order logic | 159 [PDF 2006] |
| 8. E.A.SIDORENKO, The law of contradiction and paradoxes of inference | 162 [PDF 2006] |
| 9. V.A.SMIRNOV, Internal and external logic | 170 [PDF 2006] |
| 10. V.L.VASYUKOV, T-F-toposes for Lukasiewicz's infinite-valued logics | 182 [PDF 2006] |