upper

Institute of Philosophy

of the Russian Academy of Sciences

Logical Investigations. Vol. 11. – М.: Nauka Publishers, 2004. – 314 p. ISBN 5-02-033542-8

Home Page » » Logical Investigations » Logical Investigations. Vol. 11. – М.: Nauka Publishers, 2004. – 314 p. ISBN 5-02-033542-8

Logical Investigations. Vol. 11. – М.: Nauka Publishers, 2004. – 314 p. ISBN 5-02-033542-8

CONTENTS

Anisov A.M. Definition of Real Truth Concept in Set Theory with Atoms
Bazhanov V.A. P.S.Poretsky. Life and Scientific Activity of Pioneer in Russian Investigations in the Field of Mathematical Logic
Bezhanishvili M.N. Logical Omniscience and Epistemic Tableaux Predicate Calculus
Biryukov B.V.,Biryukova L.G. Ludvig Wittgenstain and Sofia Aleksandrovna Yanovskaya “Cambridge Genius” Becomes Acquainted with Soviet Mathemathicians in 30th Years
Bystrov P.I. Relevant Calculus in Analitic Tableaux Form
Vasyukov V.L. Non-Fregean Guide for Husserlian and Meinongian Djungles
Devyatkin L.Y. Three-Valued Isomorphisms of Classical Logic
Zaitsev D.V., Shramko Y.V. Logical Entailment and Marked Values
Znatnov S.Y. On the software for computer proofs
Karpenko A.S. The subject of logic in the light of the basic tendencies of its development
Levin V.I. Interval logic and some of its applications
Markin V.I. Fundamental Syllogistics with Indefinably-Placed Constant `
Moiseev V.I. Projective -Modal Ontology and Some It’s Applications
Mikirtumov I.B. Compositional and Non-Compositional Types in Intensional Logic
Mchedlishvili L.I. Aristotle’s Apodeictic Syllogistics: Method of Derivation of Superfluous Information; Fragmentarity
Pavlov S.A. Extensions of the Domain of Definition of Truth Predicate to the Restricted Scope of Symbolic Expressions
Popov V.M., Shuklin G.N. Intuitionistically Acceptable Paranormal Logic
Rybakov M.N. Emdedding of Intuitionistic Logic in His Two-Variable Fragment and Complexity oh this Fragment
Smirnova E.D. Towards an Explication of Semantics Concept of Truth
Suvorov V.V. Synthesis of Logical Axioms in Hypercube Structures Space
Khakhanian V. H. Set Theory with Intuitionistic Logic: Dasic System
Chagrov A.V. Algorithmic Problem of Finitary Semantics Entailment for Basic and Formal A.Visser’s Logics
Shalack V.I. Logic of Abelian Groups
Shalack V.I. Logic of Groups and Free Groups
Shkatov D.P. Analogue of Makinson’s Theorem for the Normal Modal Logics with Segerberg’s Operator

Institute of Philosophy
Russian Academy of Sciences
Copyright © 2007—2021