No label defined (Q4552269)

The articles of this volume will be reviewed individually. The preceding conference (2, 1999) has been reviewed (see Zbl 0960.00036). Indexed articles: \textit{Anisov, A. M.}, Properties of time, 5-25 [Zbl 1031.03510] \textit{Bezhanishvili, M. N.}, Hao Wang's calculi of partial predicates and their extensions that allow iteration of implication, 26-37 [Zbl 1031.03053] \textit{Zajtsev, D. V.}, Theory of relevant entailment. III: The combinatorial semantics TE, 38-49 [Zbl 1031.03512] \textit{Ivlev, Yu. V.}, Quasi-matrix logic -- a basis of the theory of factual (physical) modalities, 50-64 [Zbl 1031.03511] \textit{Karpenko, A. S.}, Substructural logics: Hilbertian approach, 65-71 [Zbl 1031.03043] \textit{Maksimova, L. L.}, Non-explicit definability in paraconsistent extensions of minimal logic, 72-81 [Zbl 1031.03049] \textit{Markin, V. I.}, Intensional semantics of traditional syllogistics, 82-91 [Zbl 1031.03011] \textit{Mchedlishvili, L. I.}, Calculi of rejected formulae for non-traditional systems of positive syllogistics., 92-104 [Zbl 1038.03010] \textit{Nagornyj, N. M.}, The question of consistency of classical formal arithmetic., 105-128 [Zbl 1040.03526] \textit{Nepejvoda, N. N.}, On formalization of the non-formalizable, 129-143 [Zbl 1031.03505] \textit{Pavlov, S. A.}, V. A. Smirnov's combined logics and the logic of falsehood, 144-149 [Zbl 1031.03502] \textit{Popov, V. M.}, Embedding of intuitionistic propositional calculus into its positive fragment, 150-154 [Zbl 1031.03509] \textit{Rybakov, M. N.}, Enumerability of modal predicate logics and ascending chain conditions, 155-167 [Zbl 1031.03038] \textit{Samokhvalov, K. F.}, The question of the nature of time, 168-171 [Zbl 1031.03507] \textit{Sidorenko, E. A.}, The deduction theorem for nonclassical logics: Two approaches., 172-186 [Zbl 1040.03513] \textit{Skvortsov, D. P.}, The completeness theorem for a semantics of the propositional fragment of a system of Ackermann's., 187-198 [Zbl 1167.03301] \textit{Smirnova, E. D.}, On the puzzle of belief contexts. An approach to the semantics of intensional systems, 199-209 [Zbl 1031.03014] \textit{Fedorov, B. I.}, B. Bolzano as predecessor of constructivism. II, 210-216 [Zbl 1031.03501] \textit{Khakhanyan, V. Kh.}, Realizability predicates for set theory., 217-223 [Zbl 1040.03516] \textit{Chagrov, A. V.}, The question of reverse mathematics of modal logics, 224-243 [Zbl 1031.03029] \textit{Esakia, L. L.}, Weak transitivity -- a restitution, 244-255 [Zbl 1031.03032] \textit{Batens, D.}, A universally abnormality-adaptive logic, 256-265 [Zbl 1031.03048] \textit{Béziau, J.-Y.}, What is propositional classical logic? (A study in universal logic), 266-277 [Zbl 1031.03016] \textit{Blinov, A.}, Games with common belief on payoff function., 278-281 [Zbl 1173.91319] \textit{Dunn, J. M.}, Ternary relational semantics and beyond: Programs as arguments (data) and programs as functions (programs), 282-301 [Zbl 1031.03008] \textit{Vasyukov, V. L.}, Combined causal logics of Minkowski spacetime, 302-312 [Zbl 1031.03040]