Logical Studies, 2002, Volume 8

top stories

Logic of Uncertainity and Uncertainity in Time. Alexander M. Anisov

Basic Logic and Primitive-Recursive Realizability. D.A. Viter

Analitic Tableau Formalization of Temporal Logics with Non-Standart Relations between the Past and the Future. Oleg M. Grigoriev

Fundamental Syllogistic from an Intensional Point of View. Vladimir I. Markin

Quasi-Artificial Objects. Nikolai N. Nepejvoda

The System NFI Equiconsistent with Quine's System NF. Valery H. Khakhanian

Algorithmic Problem of Axiomatization of Tabular Normal Modal Logic. Alexander V. Chagrov

The Set of Formal Syllogistics with Primitive Universal Terms (Structural Description and Quantitative Analysis). Taras A. Shiya

Generalized Truth Values: Lattices and Multi-Lattices. Yaroslav V. Shramko