Logical investigations. No. 7. Papers from the 2nd international conference ``Smirnov's Readings'', Moscow, Russia, May 1999. (Q2708790)

The articles of this volume will be reviewed individually. No. 5 has been reviewed (see Zbl 0911.00008), (see also Zbl 0904.03001).NEWLINENEWLINEIndexed articles:NEWLINENEWLINE\textit{Karpenko, A. S.}, Logic at the borderline of the millenium, 7-60 [Zbl 0984.03001]NEWLINENEWLINE\textit{Nagornyj, N. M.}, Realizability semantics of the early period of Markov's constructivism (history and problems), 61-71 [Zbl 0981.03063]NEWLINENEWLINE\textit{Nepejvoda, N. N.}, On applied theories with superintuitionistic logics, 72-79 [Zbl 0980.03029]NEWLINENEWLINE\textit{Popov, V. M.}, An embedding of the implicative fragment of classical logic into the implicative fragment of intuitionistic logic, 80-83 [Zbl 0980.03008]NEWLINENEWLINE\textit{Chagrov, A. V.}, Two remarks on strictly implicative formulas in modal logic S3, 84-89 [Zbl 0980.03018]NEWLINENEWLINE\textit{Vasyukov, V. L.}, Implicative logics, Lambek systems and exponential multicategories, 90-118 [Zbl 0980.03023]NEWLINENEWLINE\textit{Odintsov, S. P.}, On negatively equivalent extensions of minimal logic, 119-127 [Zbl 0980.03034]NEWLINENEWLINE\textit{Popov, V. M.}, A sequent axiomatization of quasiminimal logic, 128-131 [Zbl 0980.03035]NEWLINENEWLINE\textit{Mints, G.; Soloviev, S.}, Classical multiplicative linear logic \(\simeq\) intuitionistic MLL, 132-136 [Zbl 0990.03050]NEWLINENEWLINE\textit{Esakia, Leo}, Synopsis of fronton theory, 137-147 [Zbl 0987.03016]NEWLINENEWLINE\textit{Bezhanishvili, M. N.}, Interpolation theorem of Hao Wang's partial predicate calculus, 148-158 [Zbl 0980.03039]NEWLINENEWLINE\textit{Anisov, A. M.}, An axiomatic calculus of uncertainty, 164-173 [Zbl 0979.68111]NEWLINENEWLINE\textit{Pavlov, S. A.}, Conditions for the applicability of classical logic in the framework of languages of nonclassical logics, 174-180 [Zbl 0988.03046]NEWLINENEWLINE\textit{Bystrov, P. I.}, Analytic tableaux for positive logic free from ``paradoxes'' of material implication, 181-191 [Zbl 0980.03021]NEWLINENEWLINE\textit{Mikirtumov, I. B.}, Semantics of anaphora as an update operator, 192-198 [Zbl 0980.03036]NEWLINENEWLINE\textit{Sidorenko, E. A.}, A universal deduction theorem, 199-208 [Zbl 0982.03007]NEWLINENEWLINE\textit{Chagrov, A. V.}, On effective deduction theorems in normal modal logics, 209-216 [Zbl 0980.03019]NEWLINENEWLINE\textit{Smirnova, E. D.}, Logic in philosophy and philosophy of logic, 217-231 [Zbl 0980.03005]NEWLINENEWLINE\textit{Samokhvalov, K. F.}, Logic and the relativity principle, 232-239 [Zbl 0980.83004]NEWLINENEWLINE\textit{Mchedlishvili, L. I.}, On the semantics of Aristotle's apodeictic syllogistic, 240-251 [Zbl 0980.03017]NEWLINENEWLINE\textit{Markin, V. I.}, An embedding of N. A. Vasil'ev's imaginary logic into quantified three-valued logic, 252-260 [Zbl 0988.03044]NEWLINENEWLINE\textit{Kostyuk, T. P.}, N. A. Vasil'ev's \(n\)-dimensional logic: A modern reconstruction, 261-268 [Zbl 0980.03030]NEWLINENEWLINE\textit{Ivlev, V. Yu.; Ivlev, Yu. V.}, The problem of constructing a theory of actual modalities, 269-276 [Zbl 0980.03038]NEWLINENEWLINE\textit{Karavaev, Eh. F.}, On temporal qualification of normative propositions, 277-284 [Zbl 0980.03015]NEWLINENEWLINE\textit{Novosyolov, M. M.}, On indiscernibilities as algebraic structures, 285-290 [Zbl 0980.03503]NEWLINENEWLINE\textit{Fedorov, B. I.}, B. Bolzano as a forerunner of constructivism. I, 291-300 [Zbl 0992.03005]