Logical Studies, 2000, Volume 4

Special Issue Papers of the 2000 year alumni of the Department of Logic Moscow State University

top stories

Analytic-tableau calculi for propositional relevance logics. Dmitry Shkatov

The Correctness Theorem for an Automated Natural Deduction in Classical Logic. Vasily Shangin

Algorithm of the Three-Valued Isomorphs of Classical Logic Search. Vladimir E. Komendantsky

Logic RM, its Origin, Properties and Interrelations with other Systems. Ivan A. Karpenko

Analytic Tableaux Procedures for Temporal Logics. Oleg M. Grigoriev

A Clasification of Syllogistics with Simple Positive Terms. Taras A. Shiyan