Logical Studies No1(1998)

Pilot issue
Content
Vladimir A. Smirnov A Search of Proofs in Natural Intuitionistic Predicate Calculus with e-symbol and Predicate of Existence
Vladimir A. Smirnov Free Logics and Quite Free Logics
V.A.Smirnov's Results in the Field of Modern Formal Logic Ed. by Alexander S. Karpenko
Alexander S. Karpenko Classification of Propositional Calculi
Nikolai N. Nepeivoda On One Modification of Semantic Tables
Elena D. Smirnova I.Kant and D.Hilbert's Finite Attitude
Eugeni K. Voishvillo Theory of Logical Relevance
Boris I. Fedorov Logic of Questions and Answers: Deductive Possibilities
Vyacheslav A. Bocharov Definitial Equivalence of Elementary Ontology and Syllogistic
Vladimir I. Markin Aristotle's Singular Negative Syllogistic and Free Logic
Eugeni A. Sidorenko Relevant Semantics with Binary Accessibility Relation
Vladimir L. Vasyukov On Interpretation of Sequents in Sites
Sergei A. Pavlov Lukasiewicz's Three-Valued Logic and Falsehood Logic FL4
Irina A. Gerasimova Intensional Logic with Monadic Deontic Operators
Alexander M. Anisov Semantics of Indefiniteness
Vladimir M. Popov Inverse Negation and Classical Implicative Logic
Alexey E. Novodvorsky, Alexey V. Smirnov A Shell for Generic Interactive Proof Search