Logical Studies No 4(2000)

Special Issue Papers of the 2000 year alumni of the Department of Logic Moscow State University
ISBN   5-85593-140-4  
Contents
Dmitry Shkatov Analytic-tableau calculi for propositional relevance logics
Vasily Shangin The Correctness Theorem for an Automated Natural Deduction in Classical Logic
Vladimir E. Komendantsky Algorithm of the Three-Valued Isomorphs of Classical Logic Search
Ivan A. Karpenko Logic RM, its Origin, Properties and Interrelations with other Systems
Taras A. Shiyan A Clasification of Syllogistics with Simple Positive Terms
Oleg M. Grigoriev Analytic Tableaux Procedures for Temporal Logics