Logical Studies, 1998, Volume 1

Pilot Issue

top stories

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. Vladimir A. Smirnov

V.A.Smirnov's Results in the Field of Modern Formal Logic

Classification of Propositional Calculi. Alexander S. Karpenko

On One Modification of Semantic Tables. Nikolai N. Nepeivoda

I.Kant and D.Hilbert's Finite Attitude. Elena D. Smirnova

Theory of Logical Relevance. Eugeni K. Voishvillo

Logic of Questions and Answers: Deductive Possibilities. Boris I. Fedorov

Definitial Equivalence of Elementary Ontology and Syllogistic. Vyacheslav A. Bocharov

Aristotle's Singular Negative Syllogistic and Free Logic. Vladimir I. Markin

Relevant Semantics with Binary Accessibility Relation. Eugeni A. Sidorenko

On Interpretation of Sequents in Sites. Vladimir L. Vasyukov

Lukasiewicz's Three-Valued Logic and Falsehood Logic FL4. Sergei A. Pavlov

Intentional Logic with Monadic Deontic Operators. Irina A. Gerasimova

Semantics of Indefiniteness. Alexander M. Anisov

Inverse Negation and Classical Implicative Logic. Vladimir M. Popov

A Shell for Generic Interactive Proof Search. Alexey E. Novodvorsky, Alexey V. Smirnov