Logical investigations. No. 6. Papers from the 1st international conference ``Smirnov's Readings'', Moscow, Russia, March 1997. (Q2782951)

The articles of mathematical interest will be reviewed individually. No. 5 has been reviewed (see Zbl 0911.00008) and No. 7 has been reviewed (see Zbl 0960.00036).NEWLINENEWLINEIndexed articles:NEWLINENEWLINE\textit{Smirnova, E. D.}, The nature of logical knowledge and issues of justification of logical systems, 7-14 [Zbl 1004.03003]NEWLINENEWLINE\textit{Slinin, Ya. A.}, Phenomenological interpretation of logic, 15-20 [Zbl 1004.03502]NEWLINENEWLINE\textit{Ivlev, Yu. V.}, The theory of logical modalities, 21-29 [Zbl 1004.03018]NEWLINENEWLINE\textit{Gerasimova, I. A.}, Leibniz, Kant and deontic logic, 30-46 [Zbl 1004.03500]NEWLINENEWLINE\textit{Bezhanishvili, M. N.}, The completeness theorem for a bimodal system of knowledge and belief, 47-60 [Zbl 1004.03006]NEWLINENEWLINE\textit{Bystrov, P. I.}, Mutual transformation of sequent and natural deductions in modal logic, 61-68 [Zbl 1004.03016]NEWLINENEWLINE\textit{Chagrov, A. V.}, Strictly implicative formulae in modal logics that are close to intuitionistic logic, 69-75 [Zbl 1004.03017]NEWLINENEWLINE\textit{Karpenko, A. S.}, Implication of entailment, strict, relevant, intuitionistic and classical implications, and their interrelations, 76-80 [Zbl 1004.03019]NEWLINENEWLINE\textit{Sidorenko, E. A.}, Binary relational semantics for relevant logic, 81-108 [Zbl 1003.03520]NEWLINENEWLINE\textit{Zajtsev, D. V.}, Theory of relevant entailment. II: Semantics, 109-115 [Zbl 1003.03521]NEWLINENEWLINE\textit{Popov, V. M.}, Formalization of nonstandard relations of deducibility in paraconsistent logic, 116-125 [Zbl 1003.03021]NEWLINENEWLINE\textit{Grzegorczyk, A.}, Psychologistic semantics and avoidance of antinomies, 126-137 [Zbl 1003.03505]NEWLINENEWLINE\textit{Vasyukov, V. L.}, Situations and meaning. Non-non-Fregean (metaphoric) logic. I, 138-152 [Zbl 1003.03506]NEWLINENEWLINE\textit{Mikirtumov, I. B.}, Intensional characteristic of a function in the logic of sense and denotation, 153-162 [Zbl 1003.03502]NEWLINENEWLINE\textit{Biryukov, B. V.}, From the history of mathematical logic in Russia: The ``Carroll puzzle'' in the interpretation of Pavel Florenskij, 163-169 [Zbl 1003.03501]NEWLINENEWLINE\textit{Pavlov, S. A.}, The metapredicate of truth and the logic of falsehood, 170-185 [Zbl 1003.03507]NEWLINENEWLINE\textit{Karavaev, E. F.}, On tense logic in one little-known work of A. A. Markov, 186-194 [Zbl 1001.03519]NEWLINENEWLINE\textit{Anisov, A. M.}, The direction and reversibility of time, 195-217 [Zbl 1001.03509]NEWLINENEWLINE\textit{Novosëlov, M. M.}, Does ``Locke's rule'' belong to Locke?, 218-226 [Zbl 1001.03500]NEWLINENEWLINE\textit{Vojshvillo, E. K.}, Ontological necessity and apodictic syllogistics, 227-229 [Zbl 1001.03507]NEWLINENEWLINE\textit{Mchedlishvili, L. I.}, On the semantics for Aristotle's apodictic syllogistics, 230-240 [Zbl 1001.03506]NEWLINENEWLINE\textit{Markin, V. I.}, The generalized positive syllogistics, 241-258 [Zbl 1001.03510]NEWLINENEWLINE\textit{Kostyuk, T. P.}, Positive syllogistics of Vasil'ev type, 259-267 [Zbl 1001.03508]NEWLINENEWLINE\textit{Bakhtiyarov, K. I.}, The interactive game ``Carroll'' and the calculator ``Aristotle'', 268-275 [Zbl 1001.03501]NEWLINENEWLINE\textit{Samokhvalov, K. F.}, Existence predicates and the ``ontological argument'', 276-286 [Zbl 1001.03504]NEWLINENEWLINE\textit{Grinenko, G. V.}, Meaning and sense in sacred texts, 287-298 [Zbl 1001.03505]NEWLINENEWLINE\textit{Smirnova, E. D.}, The problem of formalization of some nonstandard semantics, 299-301 [Zbl 1001.03522]NEWLINENEWLINE\textit{Sandu, G.; Hiipakka, J.}, Partially interpreted connectives, 302-312 [Zbl 1001.03523]