Logical Studies No 8(2002)
Contents
Alexander M. Anisov Logic of Uncertainity and Uncertainity in Time
D.A. Viter Basic Logic and Primitive-Recursive Realizability
Oleg M. Grigoriev Analitic Tableaux Formalization of Temporal Logics with Non-Standart Relations between the Past and the Future
Vladimir I. Markin Fundamental Syllogistic from an Intensional Point of View
Nikolai N. Nepejvoda Quasi-Artificial Objects
Valery H. Khakhanian The System NFI Equiconsistent with Quine's System NF
Alexander V. Chagrov Algorithmic Problem of Axiomatization of Tabular Normal Modal Logic
Taras A. Shiyan The Set of Formal Syllogistics with Primitive Universal Terms (Structural Description and Quantitative Analysis)
Yaroslav V. Shramko Generalized Truth Values: Lattices and Multi-Lattices