BIBLIOGRAFICAL INDEX of Proceedings of the Research Logical Seminar of Institute of Philosophy Russian Academy of Sciences (1982-2000)
I. Modal and Relevant Logics (Proceedings of Scientific Seminar in Logic of the Institute of Philosophy). M., 1982.
II. Logical Investigations (Proceedings of Scientific Seminar in Logic of the Institute of Philosophy). M., 1983.
III. Many-valued, Relevant and paraconsistent (Proceedings of Scientific Seminar in Logic of the Institute of Philosophy). M., 1984.
IV. Non-classical Logics (Proceedings of Scientific Seminar in Logic of the Institute of Philosophy). M., 1985.
V. Non-standard semantics of Non-classical Logics (Proceedings of Scientific Seminar in Logic of the Institute of Philosophy). M., 1986.
VI. Non-classical Logics and propositional attitudes (Proceedings of Scientific Seminar in Logic of the Institute of Philosophy). M., 1987.
VII. Non-classical Logics and its Applications (Proceedings of Scientific Seminar in Logic of the Institute of Philosophy). M., 1989.
VIII. Philosophical Foundations of Non-classical Logics (Proceedings of Scientific Seminar in Logic of the Institute of Philosophy). M., 1990.
IX. Logical Methods in Computer Sciences (Proceedings of Scientific Seminar in Logic of the Institute of Philosophy). M., 1991.
X. Proceedings of the Research Logical Seminar of Institute of Philosophy Russian Academy of Sciences. M., 1994.
XI. Proceedings of the Research Logical Seminar of Institute of Philosophy Russian Academy of Sciences, 1996. M., 1997.
XII. Proceedings of the Research Logical Seminar of Institute of Philosophy Russian Academy of Sciences, 1997. M., 1998.
XIII. Proceedings of the Research Logical Seminar of Institute of Philosophy Russian Academy of Sciences, 1998. M., 1999.
XIV. Proceedings of the Research Logical Seminar of Institute of Philosophy Russian Academy of Sciences, 1999. M., 2000.
Abramjan L.A.
On the scope of logical (in the context of critical philosophy) XIII 71-77
Abramjan N.L.
Problems of logic of the demonstratives (with Grinenko G.V.) V 63-75
What was overlived together. V.A. Smirnov and E.D. Smirnova XIII 28-33
Anisov A.M.
On possibilities of model constructions for dynamic conception of time III 100-109
Semantic of non-constructive reasonings VI 89-100
Counterfactual propositions and theories VII 91-101
James' thesis and logic XI 178-189
A representation of intensional relations in set theory with atoms XII 27-34
Zeno's apories and problem of movement XIV 139-155
Asanidze G.Z.
On the criterion of plurality of independent axiom-systems IV 75-85
On a completeness of the von Wright's truth logics TL, T'L and T''L VI 75-84
On interrelations of two approaches to consideration of G. von Wright's logics of truth VII 102-112
Bahtijarov K.I.
Arithmetization of assertoric and modal syllogistics V 108-115
Bard A.
Minimal logic of causality IV 92-95
Belzer M.O.
On a detachment schema in D-3 VI 6-12
Bimbo K.
Essay in the problem of conditionals VIII 12-25
Blinov A.L.
On semantics of game trees for action logic VII 16-26
Bocharov V.A.
An analysis of so called ontological proof of God's existence and Kant's criticism of the proof I 47-54
Boolean algebra in the terms of syllogistics II 32-42
Predicate calculus with universalities (I. Formal construction) VII 55-69
Predicate calculus with universalities (II. Semantic) IX 44-63
Predicate calculus with universalities (III. Philosophical foundations) X 46-60
Inference-searching algorithms in classical propositional logic (with Bolotov E.A. and Gorchakov E.A.) XI 92-101
A definitional equivalence of elementary ontology and syllogistic XII 117-130
Bolotov E.A.
Inference-searching algorithms in classical propositional logic (with Bocharov V.A. and Gorchakov E.A.) XI 92-101
Burgin M.S.
Abstract theory of properties IV 109-118
Functional enlargements of scientific theories (with Kuznetsov V.I.) IV 119-127
Quantors in the theory of properties V 99-107
Problems in the structure of scientific theories (with Kuznetsov V.I.) VI 101-109
Bystrov P.I.
A counterpart of the cut-elimination theorem for the calculi of indexed sequents and tableaux systems of modal logic II 71-80
An embedding of relevant system E into tableaux calculus of indexed formulae III 20-26
On the one class of non-standard modal systems V 54-62
Generalized sequent variants of relevant systems VI 38-47
On tableau constructions of the “non-Lewis's“ systems VI 125-128
Intensional implication defined in terms of knowledge and belief VII 36-46
Normalization of proofs in the relevant systems with distributivity VIII 43-54
The Calculi with Strict "Relevant" Negation IX 36-43
Relevant logical calculi as systems of derivations with indexed formulae X 36-45
Method of analytic tableaux for positive relevant logic XIII 115-119
Methods of normalization of deductions in relevant logic XIV 68-75
Chagrov A.V.
Two new kinds of multi-modal logic VI 48-59
On bounds of the family of modal companions of intuitionistic logic VII 74-81
Which properties of the extensions of K4 are decidable? VIII 90-94
Logic that is neither finite-valued nor infinite-valued XIV 59-67
Standard translations of non-classical formulae and relative decidability of logics (with Rybakov M. N.) XIV 81-98
Chagrova L.A.
On undecidability of first-order definability of propositional formulae VII 82-85
Chesnokov S.V.
Humanity empiric researchers and generalization of Aristotelian syllogistic IV 40-52
Chuaqui R.
Truth, possibility and probability VII 6-15
Dishkant G.P.
On Logic of physics X 94-101
Domb G.I.
Three-valued logic of truth-values gaps and prerelevancy V 88-89
Dragalina-Chernaja E.G.
Constructive semantic games for branching quantifiers XIII 105-109
Dzhaparidze G.K.
Provabilitive principles and extensions of arithmetic V 90-98
Fam Din Ngem
Relevant semantics of logical programming IX 64-82
Relevant Semantics for extended programs X 79-93
Frimuchkova E.V.
Polymodal fragments of tense logics with non-standard conditions of the past-future adjointness XII 139-149
Gelashvili M.A.
Problem of logical analysis of the notion of attitudes IV 17-19
Gerasimova I.A.
Problem of logical omniscience and of Montague type I 1-12
Generalized neighborhood an relational semantics III 70-77
“Possible worlds“ and “situations“ in analysis of cognitive attitudes IV 6-16
Diachronic epistemic logic with truth-valued gaps V 46-53
A combined model of deontic and epistemic logic VII 27-35
Logical status of negation in deontic situations XI 126-139
Formal grammar for a fragment of Russian with quantification expressions XII 150-162
The semantics of verbal phrases with the turn of speech “it is necessary“ XIII 189-201
Glivenko V.
On Brouwer's logic XII 15-18
On some aspects of Brouwer's logic XII 19-23
Gorchakov E.A.
Inference-searching algorithms in classical propositional logic (with Bolotov E.A. and Bocharov V.A.) XI 92-101
Goremykina G.I.
Intuitionistic versions of classical theorems XI 102-125
Griftsova I.N.
Problem of subjectivity in logic XIII 34-40
Grinenko G.V.
Problems of logic of the demonstratives (with Abramjan N.L.) V 3-76
Logical and semantic analysis of Avestian hymns XI 157-177
Elena Dmitrievna is the person whose jubilee is celebrated! XIII 13-27
Bibliography of E.D. Smirnova's works XIII 78-83
Iljin A.A.
Negative fundamental syllogistics XIV 128-138
Ishimoto A.
A Lesniewski's Ontology with abstracts VII 145-153
Ishmuratov A.T.
Logics with partial interpretations I 19-26
Ivanov Yu.G.
Analysis of paradoxes, relevancy, paraconsistence and classic IV 63-74
Ivlev Yu.V.
An interpretation of modal calculi II 59-70
Четырехзначная квазиматричная логика предикатов PSb+ (four-valued quasimatric logic of predicates PSb+) V 77-87
On theory of logical modalities XI 140-148
Some problems of TRACTATUS LOGICO-PHILOSOPHICUS from the viewpoint of modern logic XIV 156-165
Karpenko A.S.
Matrix logic for prime numbers and its generalization I 81-90
The sequence of precomplete Łukasiewicz’s logics and graphs for prime numbers II 103-111
A paraconsistent structure inside many-valued logic III 34-39
Functional precompleteness and generalized Torquett's quasi-stroke III 65-69
Factor-semantics for Łuckasiewicz's infinite-valued logic IV 20-26
Some algebras as a truth-values V 6-13
A new sight to the logic of propositional attitudes VI 13-17
Symmetric Heyting's monoid: the model for infinite-valued logic of Łuckasiewicz (with Vasyukov V.L.) VI 118-124
Maximal paraconsistence logics and double p-algebras VII 69-73
Logical fatalism and totalitarianism VIII 138-151
Sheffer's stroke for prime numbers X 102-
Minimal logical matrices for fuzzy algebras of type 2 (with Shalak V.I.) XI 56-63
New axiomatization of an implicative fragment of Łukasiewicz’s infinite-valued logic (with Popov V.M) XI 71-75
Library-bibliographical literature classification on logics XI 201-
A solution of V.K. Finn’s problem of embedding of the prime number power in Łukasiewicz’s many-valued logics XII 35-40
Characterisation of classes of natural numbers by logical matrices XIII 217-225
An independent axiomatization of implicational fragment of infinite-valued logic of Łuckasiewicz Ł( XIV 54-58
Karpovich V.N.
A generalization of Ramsey's method for infinitely axiomatizable theories II 112
Katrechko S.L.
Modeling of Splitting Rule in the Maslov's Reverse Method IX 125-140
Khakhaninan V.Ch.
К характеризации регулярных кардиналов () VIII 120-122
Axiom of choice and non-standard set theory XII 24-26
Khlus A.M.
Circumscription and Implicit Definability IX 21-35
Kolesnikov N.G.
A formalization of Lewis Carroll's syllogistics II 49-58
Kurtonina N.
Directed Simulations (with de Rijke M.) XIII 170-188
Kuznetsov V.I.
Functional enlargements of scientific theories (with Burgin M.S.) IV 119-127
Problems in the structure of scientific theories (with Burgin M.S. VI 101-109
Levenets E.V.
An analysis of Concept of Analogy by Methods of Modal Logic IX 5-20
Problem of presupposition XIII 202-116
Livchack A.B.
Some Concepts of Relational Theory IX 107-124
Lyubetsky V.A.
Heytingian-valued analysis: P. Novikov's hypothesis VIII 105-119
Algorithm of definition of secondary structure of RNA (with Vereschagin N.K.) XIV 99-109
Magazov S.S.
Names as a Method of Knowledge Representation IX 161-175
Markin V.I.
Neighborhood semantics for modalities de re I 13-18
Semantic proof of embedding of some syllogistics systems into predicate calculus II 17-26
Systems of syllogistic adequate to two translations of syllogistic formulas in V.A. Smirnov's predicate calculus XII 107-116
Imaginary logic-2: reconstruction of one version of famous N.A. Vasiljev's logical system (with Zaitsev D.V.) XIII 134-142
Materna P.
Transparent intensional logic I 66-80
Mchedlishvili L.I.
An interpretation of Aristotle's apodictic syllogistics III 110-118
The exthesis in Aristotle's syllogistics III 119-128
Mes'kov V.S.
A logical explication of Bell's inequalities
(with Tiaglo A.V.) VII 134-139
Navrotsky V.V.
Temporal interval paraconsistent semantics III 29-33
Nepejvoda N.N.
Constructive logics I 91-106
Prefix semantic tableaux for modal logics III 78-91
Autoproductive systems of theories as means for description of systems of the notions which can't be formalized IV 96-108
Systemology 1 XIII 162-169
Levels of knowledge and skills XIV 9-35
Nevdobenko O.I.
Admissible evaluations and relations of consequence type XIII 60-70
Novosjolov M.M.
An abstraction of indistinguishability and algebra of indistinguishabilities II 113-122
On the history of discussions on Brouwer's logic XII 8-14
Abstraction of set and Russell's paradox XIII 156-161
Odintsov S.P.
An isomorphs of classical refutability logic and its generalisations XII 48-61
Pavlov S.A.
Logic with terms “true” and “false” VIII 95-104
Non-classical approach to the denotation theory IX 97-106
The Logic of falsehood FL4 X 14-35
Łukasiewicz’s three-valued logic and falsehood logic XI 76-91
Axiomatic approach to theory of denotation XII 92-106
From the calculus of falsehood predicate to the calculus of symbolic expressions XIII 120-129
Complete equivalence, Kleene's logics and Bochvar's logic XIV 76-80
Popa K.
Action logic and method of critical motion of thought VI 18-31
Popov V.M.
Decidability of syllogistics with negative terms I 36-46
Systems of syllogistics type in the form of analytic tableaux II 27-31
Implicative relevant logics and essential formulae III 27-28
On the extension of C2 system of “Occam's syllogistics” V 116-119
Towards the question about logic of eclectic (with Popovich A.N.) VI 85-88
New axiomatization of an implicative fragment of Łukasiewicz’s infinite-valued logic (with Karpenko А.S.) XI 71-75
Sequent representation and semantics for A. Arruda's system V1 XIII 131-133
Embedding of classical propositional logic into its implicative fragment and into implicative fragment of intuitionistic propositional logic XIV 36-41
Popov V.V.
Statements about processes in natural language: logical approach VI 110-112
Popovihch A.N.
Towards the question about logic of eclectic (with Popov V.M.) VI 85-88
Rijke M. de
Directed Simulations (with Kurtonina N.) XIII 170-188
Rodos V.B.
Direct conclusions and syllogistics VI 113-117
Rybakov M. N.
Standard translations of non-classical formulae and relative decidability of logics (with Chagrov A.V.) XIV 81-98
Samokhvalov K.F.
The working characteristics of first-order calculus XIII 96-104
Savenco S.B.
Classification of varieties of possibility in the theory of modal concepts III 124-133
Serebryannikov O.F.
A new proof of consistency for predicative second-order Peano's arithmetic III 92-99
Normalization of inferences in the second-order predicative arithmetic IV 86-91
Sidorenko E.A.
On different concepts of deduction from hypotheses I 27-35
Semantic construction of relevant logic II 81-84
On the interrelations between E and NR-theories III 14-19
Semantics of the relevant entailment without impossible possible worlds IV 53-59
On the “paradox“ of unexpected execution and why such execution is possible V 131-133
On a difference between proofs and inferences from the valid premises VI 32-37
The principle of deduction and theories of relevant implication VII 47-55
Generalization of the deduction theorem VIII 35-42
Relevant relational semantics with bi-world points of reference X 61-78
Semantic of entailment (for the system E) XI 33-55
P. Florensky on compatibility of logical inconsistency of Holy writ with his divine origin XI 149-156
Semantics of conditional propositions XII 62-84
Deduction theorem for all systems XIII 84-95
Skliarevsky A.M
Normal Forms: Structure, Transformations, Entailment IX 141-160
Smirnov V.A.
An embedding of Łesniewski's Elementary Ontology into second-order one-placed predicate calculus I 55-64
An embedding of systems of positive syllogistics into one-placed predicate calculus II 2-16
Definitional equivalence of the extended syllogistics C2D and Boolean algebra II 43-48
On a system of paraconsistent logic III 129-133
Assertion and predication. logic of sentences and events V 37-45
Definitional equivalence of syllogistics systems X 7-13
Smirnova E.D.
On the constructing of formal language semantic XI 9-32
Theory of semantic categories for languages with indefinite-placed funktors XIV 110-113
Sokuler E.A.
Semantics and ontology: to an interpretation of some aspects of the R.Carnap's and L.Wittgenstein's conceptions XIII 49-59
Solodukhin O.A.
Change and modality: models with changing universum V 120-130
Logic of change: potentiality and tendencies of change VII 113-123
Sorina G.V.
Philosophical associations (on the basis of critical thinking) XIII 41-48
Syrkin G.I.
Many-valued logic and model theory III 40-54
Talyshly S.M.
Problem of Algebra of Logic in Ch. S. Pierce's Works IX 176-180
Tatievskaya E.Zh.
L. Wittgenstein and Russell's theory of meaning VIII 123-137
Tiaglo A.V.
A logical explication of Bell's inequalities (with Mes'kov V.S.) VII 134-139
Shalak V.I.
Cut-elimination in intuitionistic fragment of relevant logic II 85-92
On some functionally complete lists of the formulae in the relevant logic IV 60-62
Syllogistics, Predicate Logic, Modal Logic and Automatic Theorem Proving IX 83-96
Minimal logical matrices for fuzzy algebras of type 2 (with Karpenko А.S.) XI 56-63
Theory of propositional programs XII 41-47
Relational interpretation of classical propositional logic XIII 110-114
Sheffler U.
Against the principle of conditional excluded middle VIII 26-34
Shvartz G.F.
Cut elimination in the logics close to S5 VIII 81-89
Vasyukov V.L.
Quantum logic of time II 93-102
Exactness of discrete model for infinitely-valued Łuckasiewicz's logic III 55-64
Non-Boolean T-F-semantics for many-valued logics IV 27-39
Complex-valued logics or how to take into consideration a context in logical systems V 14-36
Temporal entailment and Shiraishi's logic VI 60-74
Symmetric Heyting's monoid: the model for infinite-valued logic of Łuckasiewicz (with Karpenko A.S.) VI 118-124
The completeness of Ł(0 under a factor-semantics VII 56-68
Categorial semantics for Lambek-Lukasiewicz's calculus IX 181-197
Metaphors in pragmatic matrices XI 64-70
On phenomenological syllogistic XI 190-200
Non-Fregean logics and Post-Tractarian ontology XII 131-138
Direction of time in the semantics of many-valued possible worlds XIII 143-155
Three reinterpretations of T.Chezewski's formal theory of values XIV 114-127
Vereschagin N.K.
Algorithm of definition of secondary structure of RNA (with Lyubetsky V.A.) XIV 99-109
Vojshvillo E.K.
E or NR? III 5-13
On the Sette's paraconsistent logic P1 XIII 130
Woicicki R.
An axiomatic treatment of non-monotonic arguments VII 140-144
Zaitsev D.V.
Modalities and implication XII 85-91
Imaginary logic-2: reconstruction of one version of famous N.A. Vasiljev's logical system (with Markin V.I.) XIII 134-142
Combinators and implicative formulae XIV 42-53
Zakrevsky A.D.
Matrix device for the logical inference in finite predicates VIII 70-80
Zhambaldgbayev N.T.
Towards the problem of elimination of the theoretical terms VIII 6-11
Buddhist logic and diagnostics in tibetian medicine XII 163-169
Before 1994 «Proceedings of Scientific Seminar in Logic of the Institute of Philosophy».