ILCSDP
Voprosy Filosofii
News
Library
Logical Studies
Papers by V.Smirnov
Heap
Software
forums
Useful links
Our projects
Logical Studies
Archimed tournament
Our partners
Department of Logic Inst. of Philosophy, RAS
Russian Philosophical Society
VOPROSY FILOSOFII
IzevskSU
Search
search
categories
category browser
Publications
Papers by V.Smirnov
Logical Studies
Voprosy Filosofii
Active forum topics
Work begun
more
New forum topics
Work begun
more
Links
Gallery of Russian thinkers by D. Olshansky
See in
russian
Home
»
Library
»
Logical Studies
»
Volume 1
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
by
Admin
Free Logics and Quite Free Logics. Vladimir A. Smirnov
by
Admin
V.A.Smirnov's Results in the Field of Modern Formal Logic
by
Admin
Classification of Propositional Calculi. Alexander S. Karpenko
by
Admin
On One Modification of Semantic Tables. Nikolai N. Nepeivoda
by
Admin
I.Kant and D.Hilbert's Finite Attitude. Elena D. Smirnova
by
Admin
Theory of Logical Relevance. Eugeni K. Voishvillo
by
Admin
Logic of Questions and Answers: Deductive Possibilities. Boris I. Fedorov
by
Admin
Definitial Equivalence of Elementary Ontology and Syllogistic. Vyacheslav A. Bocharov
by
Admin
Aristotle's Singular Negative Syllogistic and Free Logic. Vladimir I. Markin
by
Admin
Relevant Semantics with Binary Accessibility Relation. Eugeni A. Sidorenko
by
Admin
On Interpretation of Sequents in Sites. Vladimir L. Vasyukov
by
Admin
Lukasiewicz's Three-Valued Logic and Falsehood Logic FL4. Sergei A. Pavlov
by
Admin
Intentional Logic with Monadic Deontic Operators. Irina A. Gerasimova
by
Admin
Semantics of Indefiniteness. Alexander M. Anisov
by
Admin
Inverse Negation and Classical Implicative Logic. Vladimir M. Popov
by
Admin
A Shell for Generic Interactive Proof Search. Alexey E. Novodvorsky, Alexey V. Smirnov
by
Admin