Our projects
Our partners
Search
Publications
Active forum topics
New forum topics
Links
categories
Creators
- Anisov A. (4)
- Semantics of Indefiniteness. Alexander M. Anisov
- Properties of Time. Alexander. M. Anisov
- Logic of Uncertainity and Uncertainity in Time. Alexander M. Anisov
- Time As A Computation Process
- Arshinskiy L. (2)
- Many-valued logic with vector semantics L.Arshinskiy
- On Semantics of Classical Logic. Leonid V. Arshinsky
- Arutunov G.P. (1)
- Baranets N.G. (1)
- Batens D. (2)
- Zero Logic Adding Up to Classical Logic. Diderik Batens
- A Universally Abnormality-Adaptive Logic. Diderik Batens
- Beall JC (1)
- Beltiukov A. (1)
- Bezhanishvili M. (2)
- Logical omniscience and epistemic tableaux predicate calculus. M.Bezhanishvili
- Wang Hao's Calculi of Partial Predicates ahd their Extensions that Allow Iteration of Implication. Michael N. Bezhanishvili
- Bèziau J-Y. (2)
- The Future of Paraconsistent Logic. Jean-Yves Bèziau
- What is Classical Propositional Logic? J-Y. B`eziau, R.P. de Freitas, J.P. Viana
- Biryukov B. (1)
- Blinov A. (1)
- Bocharov V. (2)
- Definitial Equivalence of Elementary Ontology and Syllogistic. Vyacheslav A. Bocharov
- Introduction to Logic
- Bolotov A. (1)
- Chagrov A. (4)
- The algorithmic problem of finitary semantical consequence for the basic and the formal Visser's logic. A.Chagrov
- Formal propositional Visser's logic and its expansion. A. Chagrov
- To the Question of Reverse Mathematics of Modal Logic. Alexander V. Chagrov
- Algorithmic Problem of Axiomatization of Tabular Normal Modal Logic. Alexander V. Chagrov
- de Freitas R.P. (1)
- Dmitriev D.V. (1)
- Dunn J.M. (1)
- Efremov I.I. (1)
- Esakia L. (1)
- Fedorov B. (2)
- Logic as the tool of the philosophical analysis. B.Fedorov
- Logic of Questions and Answers: Deductive Possibilities. Boris I. Fedorov
- Gerasimova I. (1)
- Grigoriev O. (2)
- Analytic Tableaux Procedures for Temporal Logics. Oleg M. Grigoriev
- Analitic Tableau Formalization of Temporal Logics with Non-Standart Relations between the Past and the Future. Oleg M. Grigoriev
- Grinenko G. (1)
- Iline A. (1)
- Ivlev Y. (2)
- Logical and pragmatic characteristic of questions and answers. Y.Ivlev
- Some Problems of TRACTATUS LOGICO-PHILOSOPHICUS from the Point of View of Modern Logic. Yuri V. Ivlev
- Karpenko A. (9)
- Subject-matter of logic in light of the basic trends of its development. A.Karpenko
- Contemporary state of studies in the philosophical logic. A.Karpenko
- Atomic and Molecular Paraconsistent Logics. Alexander S. Karpenko
- V.A.Smirnov's Results in the Field of Modern Formal Logic
- Classification of Propositional Calculi. Alexander S. Karpenko
- Logic on the Border of Milleniums. Alexander S. Karpenko
- Lukasiewicz's Logic and Prime Numbers: Introduction and Contents. Alexander S. Karpenko
- Logic and computer vol.4
- Logic and computer vol.3
- Karpenko I. (1)
- Kedrov B. (1)
- Khakhanian V. (2)
- Functional algebraic model, which corresponds to the Klini's prime- realizability. V.Khakhanian
- The System NFI Equiconsistent with Quine's System NF. Valery H. Khakhanian
- Komendantsky V. (1)
- Kuzina E. (1)
- Kuznetsov V. (1)
- Maidansky A.D. (1)
- Maksimova L. (1)
- Mareev S.N. (1)
- Mareeva E.V. (1)
- Markin V. (9)
- Fundamental syllogistics C with the indefinite arity constant. V.Markin
- Intension semantics for the systems of positive syllogistics. V.Markin
- Embedding of Nikolai Vasiliev's Imaginary Logic into Quantified Three-Valued Logic. Vladimir I. Markin
- Imaginary Logic-2: Reconstruction of a Version of Outstanding Nikolai Vasiliev's Logical System. Vladimir I. Markin, Dimitry V.
- Aristotle's Singular Negative Syllogistic and Free Logic. Vladimir I. Markin
- Intensional Semantics of Traditional Syllogistic. Vladimir I. Markin
- Fundamental Syllogistic from an Intensional Point of View. Vladimir I. Markin
- Сritique to E.D.Smirnov's work
- Introduction to Logic
- Mchedlishvili L. (1)
- Melentev A.S. (1)
- Méndez J.M. (1)
- Mihailov F.T. (1)
- Mikirtumov I. (1)
- Mitrohin L. (1)
- Moiseev V. (1)
- Morosov F.M. (1)
- Nagorny N. (2)
- From Cantor to Markov: ascending to the constructiveness. N.Nagorny
- To the Question of Consistency of Classical Formal Arithmetics. Nikolai M. Nagorny
- Nepejvoda N. (7)
- Logic and the styles of the programming. N.Nepejvoda
- On One Modification of Semantic Tables. Nikolai N. Nepeivoda
- On Applied Theories Based on Superintuitionistic Logics. Nikolai N. Nepejvoda
- Levels of Knowledge and Skills. Nikolai N. Nepejvoda
- Informalizability as Logical Characteristic of Life. Nikolai N. Nepejvoda
- Some Tactics of Struggle. Nikolai N. Nepejvoda
- Quasi-Artificial Objects. Nikolai N. Nepejvoda
- Novodvorsky A.E. (3)
- A Shell for Generic Interactive Proof Search. Alexey E. Novodvorsky, Alexey V. Smirnov
- Logic and computer vol.3
- Logic and clinic diagnostics. Computer praxis
- Odintsov S. (1)
- Pavlov S. (2)
- Lukasiewicz's Three-Valued Logic and Falsehood Logic FL4. Sergei A. Pavlov
- V.A.Smirnov's Combined Calculi and Logic with Operators of Truth and Falsehood. Sergei A. Pavlov
- Pavlyukevich V. (1)
- Popov O. (1)
- Popov V. (3)
- On one four-place paranormal logic. V.Popov
- Inverse Negation and Classical Implicative Logic. Vladimir M. Popov
- Embedding of Classical Propositional Logic into its Implicative Fragment... Vladimir M. Popov
- Pupyshev V. (1)
- Resnichenko A.I. (1)
- Robles G. (1)
- Sadovskiy V. (1)
- Salto F. (1)
- Shalack V. (1)
- Shangin V. (1)
- Shiyan T (3)
- A Formal-historical study of several groups of formal syllogistics. T.Shiyan
- A Clasification of Syllogistics with Simple Positive Terms. Taras A. Shiyan
- The Set of Formal Syllogistics with Primitive Universal Terms (Structural Description and Quantitative Analysis). Taras A. Shiya
- Shkatov D. (2)
- Analogue of the Makinson’s theorem for normal modal logics with the Segerberg operator. D.Shkatov
- Analytic-tableau calculi for propositional relevance logics. Dmitry Shkatov
- Shokhin V.K. (1)
- Shramko Y. (4)
- Logic of scientific research. Y.Shramko
- Semantic Representation of Inconsistent Intuitionistic Theories. Yaroslav V. Shramko
- American Plan for Intuitionistic Logic 2: Generalized Kripke Models. Yaroslav V. Shramko
- Generalized Truth Values: Lattices and Multi-Lattices. Yaroslav V. Shramko
- Sidorenko E. (2)
- Deduction Theorem for All Systems. Eugeni A. Sidorenko
- Relevant Semantics with Binary Accessibility Relation. Eugeni A. Sidorenko
- Skvortsov D. (1)
- Slater H. (1)
- Smirnov A.V. (3)
- A Shell for Generic Interactive Proof Search. Alexey E. Novodvorsky, Alexey V. Smirnov
- Logic and computer vol.3
- Logic and clinic diagnostics. Computer praxis
- Smirnov V.A. (32)
- 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
- Logic and computer vol.3
- Logic and clinic diagnostics. Basics.
- Preparation prof. V.A.Smirnov's works
- On decidability of decision problem for sequential calculus of predicates without contractions
- Theory of quantification and epsilon-calculi
- Internal and external logic
- Levels of knowledge and stages in the process of knowledge
- Logical relations between theories
- Problem of Rationality
- Significance of Axiomatization of Scientific Theories for Elaboration of Methodology of Science
- Whether Classical Formal Logic is Universal?
- K.Popper is Right: Dialectical Logic is Impossible
- Growing Points of Logical Science
- Symbolic Logic and Theory of Cognition
- Levels of Knowledge and Stages of Cognition Process
- Role of Symbolization and Formalization in Scientific Cognition
- On Advantages and Deficiencies of One Logical-Philosophical Conception
- Logical relations between theories
- Algorithms and Logical Schemes of Algorithms
- Genetic Method of Construction of Scientific Theory
- Creation, Discovery and Logical Methods of Proof Search
- Significance of Logical Reconstruction Method for History of Logic and Philosophy
- Memories about Teacher
- N.A.Vasil’ev’s Logical Views
- On Perspectives in Analysis of I.Kant’s Doctrine of Law and Moral by Means of Modern Logic
- Immanuel Kant and Modern Logic
- Models of Language and Models of the World
- Modeling of the World in Structure of Logical Languages
- In Defense of Professionalism in Philosophy
- Reminiscences about Teacher
- Smirnova E. (8)
- Logic-semantic aspects of the analysis of the concept of the truth. E.Smirnova
- To a question of the substantiation of the logical systems. E.Smirnova
- On Semantics of Paraconsistent Logics. Elena D. Smirnova
- I.Kant and D.Hilbert's Finite Attitude. Elena D. Smirnova
- Some approaches to justification of semantics of paraconsistent logics
- An approach to nonstandard semantics and some problems of the foundation of logical systems
- The problem of formalization of some nonstandard semantics
- On a puzzle about belief contexts An approach to the semantics of intensional systems
- Soboleva M. E. (1)
- Soloviev E. (1)
- Suvorov V. (1)
- Taganova S.G. (1)
- Vasyukov V. (5)
- Consequences of the logical pluralism: the global and local aspects. V.Vasyukov
- Interpretation of relevant logic in toposes. V.Vasyukov
- On Interpretation of Sequents in Sites. Vladimir L. Vasyukov
- Combined Causal Logics of Minkowski Spacetime. Vladimir L. Vasyukov
- Substructural Exponential Categories in Category Theory and Categorical Logics. Vladimir L. Vasyukov
- Viana J.P. (1)
- Viter D.A. (1)
- Voishvillo E. (4)
- Correspondence principle. E.Voishvillo
- Problem of not the void of the subjects of statements (judgments). Voishvillo
- On Sette's Paraconsistent Logic P1. Eugeni K. Voishvillo
- Theory of Logical Relevance. Eugeni K. Voishvillo
- Weingartner Paul (1)
- Yashin A. (2)
- On the Izhevsk school of the mathematical logic (The opening chapter)
- Axiomatics for Novikov Completion of the Smetanich Logic. Alexander D. Yashin
- Zaitsev D. (3)
Types
- Logic (199)
- 3-d Smirnov's readings
- Smirnov's Readings 2003
- Books
- Preparation prof. V.A.Smirnov's works
- Conferences held with support of ILCSDP
- Research directions
- Logic in Russia
- In memory of Y.G.Gladkikh
- Aim and tasks of the project
- Reconstruction N.A.Vasiliev's logical systems
- Software
- Description
- Contents
- Appendix 1
- ILCSDP Conferences
- Grants
- Smirnov Vladimir A.
- Time As A Computation Process
- On decidability of decision problem for sequential calculus of predicates without contractions
- Theory of quantification and epsilon-calculi
- Internal and external logic
- Some approaches to justification of semantics of paraconsistent logics
- An approach to nonstandard semantics and some problems of the foundation of logical systems
- The problem of formalization of some nonstandard semantics
- On a puzzle about belief contexts An approach to the semantics of intensional systems
- Levels of knowledge and stages in the process of knowledge
- Logical relations between theories
- Problem of Rationality
- Significance of Axiomatization of Scientific Theories for Elaboration of Methodology of Science
- Whether Classical Formal Logic is Universal?
- K.Popper is Right: Dialectical Logic is Impossible
- Growing Points of Logical Science
- Symbolic Logic and Theory of Cognition
- Levels of Knowledge and Stages of Cognition Process
- Role of Symbolization and Formalization in Scientific Cognition
- On Advantages and Deficiencies of One Logical-Philosophical Conception
- Logical relations between theories
- Algorithms and Logical Schemes of Algorithms
- Genetic Method of Construction of Scientific Theory
- Creation, Discovery and Logical Methods of Proof Search
- Significance of Logical Reconstruction Method for History of Logic and Philosophy
- Memories about Teacher
- N.A.Vasil’ev’s Logical Views
- On Perspectives in Analysis of I.Kant’s Doctrine of Law and Moral by Means of Modern Logic
- Deductio
- Immanuel Kant and Modern Logic
- Models of Language and Models of the World
- Modeling of the World in Structure of Logical Languages
- In Defense of Professionalism in Philosophy
- Reminiscences about Teacher
- Personnel (1)
- Software
- tournament's tasks
- Philosophy (38)
- Сritique to E.D.Smirnov's work
- Smirnova E.D. Logic and Philosophy
- Administrative Group
- Research Groups
- Smirnov's readings 1997
- 2-nd Smirnov Readings (Moscow 1999)
- 3-d Smirnov's readings
- Smirnov's Readings 2003
- Books
- Preparation prof. V.A.Smirnov's works
- Conferences held with support of ILCSDP
- Research directions
- Logic in Russia
- In memory of Y.G.Gladkikh
- Aim and tasks of the project
- Reconstruction N.A.Vasiliev's logical systems
- "Voprosy Filosofii" in the Sixties. V. Sadovskiy
- About journal "Voprosy Filosofii"
- History
- As our periodical was created. B.Kedrov
- The Report 74. L.Mitrohin
- Philosophical journalism of the Sixtieth. E.Soloviev
- Information for the authors
- Contents 2004
- "VOPROSY FILOSOFII" the Journal
- Hans Kung and his global ethos
- Intentionality Communication Language. A problem of sequence
- Is there "Ilyenkov school"?
- Category of Name and Ontology Experience: Bulgakov, Florovsky, Losev
- Three problems in Schedrovitsky's Works
- E.V. Ilyenkov and socialism
- On Nature thinking itself and the ideal reality
- The Conception of Authority in Semantic Field. Typology and Classification
- On faith, reputations and authorities in philosophy
- Contents 2005
- Time As A Computation Process
- Russian Philosophical Society
- Bulletin of Russian Philosophical Society
- History (21)
- Publications
- Administrative Group
- Novodvorsky A.E.
- Research Groups
- Directors
- Smirnov A.V.
- Bibliography V.A.Smirnov's works
- Smirnov's readings 1997
- 2-nd Smirnov Readings (Moscow 1999)
- 3-d Smirnov's readings
- Smirnov's Readings 2003
- Books
- Preparation prof. V.A.Smirnov's works
- Conferences held with support of ILCSDP
- Research directions
- Logic in Russia
- In memory of Y.G.Gladkikh
- Aim and tasks of the project
- Reconstruction N.A.Vasiliev's logical systems
- About ILCSDP
- Smirnov Vladimir A.
- Miscellaneous (1)
Units
- ILCSDP (204)
- Books
- Preparation prof. V.A.Smirnov's works
- Conferences held with support of ILCSDP
- Research directions
- Logic in Russia
- In memory of Y.G.Gladkikh
- Aim and tasks of the project
- Reconstruction N.A.Vasiliev's logical systems
- Software
- Description
- Contents
- Appendix 1
- ILCSDP Conferences
- Grants
- About ILCSDP
- Smirnov Vladimir A.
- Fifth Smirnov's readings
- Time As A Computation Process
- On decidability of decision problem for sequential calculus of predicates without contractions
- Theory of quantification and epsilon-calculi
- Internal and external logic
- Some approaches to justification of semantics of paraconsistent logics
- An approach to nonstandard semantics and some problems of the foundation of logical systems
- The problem of formalization of some nonstandard semantics
- On a puzzle about belief contexts An approach to the semantics of intensional systems
- Levels of knowledge and stages in the process of knowledge
- Logical relations between theories
- Problem of Rationality
- Significance of Axiomatization of Scientific Theories for Elaboration of Methodology of Science
- Whether Classical Formal Logic is Universal?
- K.Popper is Right: Dialectical Logic is Impossible
- Growing Points of Logical Science
- Symbolic Logic and Theory of Cognition
- Levels of Knowledge and Stages of Cognition Process
- Role of Symbolization and Formalization in Scientific Cognition
- On Advantages and Deficiencies of One Logical-Philosophical Conception
- Logical relations between theories
- Algorithms and Logical Schemes of Algorithms
- Genetic Method of Construction of Scientific Theory
- Creation, Discovery and Logical Methods of Proof Search
- Significance of Logical Reconstruction Method for History of Logic and Philosophy
- Memories about Teacher
- N.A.Vasil’ev’s Logical Views
- On Perspectives in Analysis of I.Kant’s Doctrine of Law and Moral by Means of Modern Logic
- Deductio
- Immanuel Kant and Modern Logic
- Models of Language and Models of the World
- Modeling of the World in Structure of Logical Languages
- In Defense of Professionalism in Philosophy
- Reminiscences about Teacher
- IzevskSU
- Phil soc (2)
- Unit 2
- Voprosy Filosofii
- Archimed Tournament
| ©CopyLeft ILCSDP 2006. Published under GNU Free Documentation License. | webmaster |