V.A.Smirnov’s Results in the Field of Modern Formal Logic IV 40

V.A.Smirnov’s Publications IV 70

The Definability of the Qualitative Independence of Events in Terms of Extended Indicator Functions (with Suppes P.) II 105

Probability Logic in Artificial Intelligence II 113

Might be a space continuous while time would be discrete? I 210

Computer Programing of Becoming II 170

An Abstract computability and ABT programming language III 233

Basic Principles of V.A.Smirnov’s Conception of Scientific Philosophy IV 94

Semantics of Indefiniteness IV 271

The Direction and Reversibility of Time VI 195

An axiomatic calculus of uncertainty VII 164

Properties of Time VIII 5

Logic of uncertainity and uncertainity in time IX 5

Certainities in classical logic X 7

Anshakov O.M.

On axiomatizability of many-valued logics caused by the formalization of plausible reasonings (with Skvortsov D.P., Finn V.K.) I 222

J-Logics and Classes of Algebras Corresponding to these Logics V 25

Bakhtijarov K.I.

The Interactive Game “Carroll“ and the Calculator “Aristotle” VI 268

Batens D.

Dynamic Semantics Applied to Inconsistency-Adaptive Logics V 74

A Universally Abnormality-Adaptive Logic VIII 256

Bazhanov V.A.

I.E. Orlov as logician, philosopher and scientist. Peculiarities of scientific search. IX 32

Bezhanishvili M.N.

On a Partially-Interpretated Tableaux Calculus V 230

The Completeness Theorem for One Bimodal System of Knowledge and Belief VI 47

Interpolation theorem for Hao Wang’s partial predicate calculus VII 148

Wang Hao’s Calculi of Partial Predicates and their Extensions that Allow Iteration of Implication VIII 26

Partial Epistemic Logics and “Contingent” Identities IX 55

What is Propositional Classical Logic? (A Study in Universal Logic) VIII 266

S5 is a Paraconsistent Logic and so is First-Order Classical Logic IX 301

New Light on the Square of Oppositions and its Nameless Corner X 218

Birjukov B.V.

From the History of Logic in Russia: the “Carroll’s Puzzle“ in Interpretation of Pavel Florenski VI 163

Blinov A.L.

Semantic games with random steps III 257

Games With Common Belief On Payoff Function VIII 278

Nested Supervaluations for Future Indefinite Contingent Vagueness IX 310

Rationalities in conflict: compensatory logico-cognitive irrationality in interactive contexts X 233

Bocharov V.A.

A Proof search algorythm for natural classical propositional calculus (with Bolotov A.E., Gorchakov A.E.) III 181

“Business is Business!“ IV 7

Algorithm of Proof Search in Classical Predicate Calculus (with Bolotov A.E., Gorchakov A.E.) V 171

Kant’s model of God (with Yuraskina T.I.) VII 308

A Proof search algorythm for natural classical propositional calculus (with Bocharov V.A., Gorchakov A.E.) III 181

Algorithm of Proof Search in Classical Predicate Calculus (with Bocharov V.A., Gorchakov A.E.) V 171

Syntactic Lambek calculus and its semantic I 77

Non-standard method of tableau constructions for modal and relevant logics I 156

Relevant Systems with Global Rules of Inference II 139

A Sequential calculus of the formulae with temporal parameters III 81

Non-Standard Rules of Inference and their Role in Logical Systems IV 245

Decidable Calculus Based on V.A.Smirnov’s Absolute Relevant System V 129

Mutual Transformation of Sequent and Natural Deductions in Modal Logic VI 61

Analytical tableau for positive logic free from “paradoxes“ of material implication VII 181

Substructural version of implicative-negative part of propositional modal system S5 X 23

Infinite Sets of Non-Reducible Modalities of Normal Modal Logics (with Chagrova А.А.) V 150

Strictly Implicative Formulae in Modal Logics Close to Intuitionistic Logic VI 69

Two remarks concerning strict implicative formulas in modal logic S3 VII 84

On effective deduction theorems in normal modal logics VII 209

To the Question of Reverse Mathematics of Modal Logic VIII 224

Constant formulae in modal logics: problem of decidability (with Rybakov M.N.) IX 202

Algorithmic problem of axiomatization of tabular normal modal logic IX 251

A.Visser’s formal propositional logic and its extensions X 204

Congruence distributive varieties of algebras (with Czelakowski J.) I 55

Problems of Relevant Logic in V.A.Smirnov’s work “Formal Deduction and Logical Calculi” (with Popov V.M.) IV 79

Ternary relational semantics and beyond: Programs as arguments (data) and programs as functions (programs) VIII 282

The Interpretations of Intuitionistic Logic in Terms of Provability V 19

Synopsis of fronton theory VII 137

Weak Transitivity - Restitution VIII 244

Fam Ding Ngyem.

The Role of model structures in a definition of logical consequence III 72

On axiomatizability of many-valued logics caused by the formalization of plausible reasonings (with Anshakov O.M., Skvortsov D.P.) I 222

B. Bolzano as the forerunner of constructivism VII 291

B. Bolczano as Predcessor of Constructivism. II VIII 210

Sample of historical-logical reconstruction X 24

Distributed systems from the point of view of epistemic logic I 171

Extention-Intention Dilemma and Propositional Attitudes II 53

A Semantic analysis of musical notation III 314

Combined Semantics for Logic of Absolute Norms with Non-Classical Negation IV 163

Kant and Leibniz: Two Approaches to Deontic Modalities VI 30

Golubtsov P.V. Informational structure of dynamic games and volume of information accessible for players (with Ljubetsky V.A.) . X 39

On algorithm of eduction of a regulator signal in the packet of consequences (with Lubetsky V.A.) VII 159

A Proof search algorythm for natural classical propositional calculus (with Bocharov V.A., Bolotov A.E.) III 181

Algorithm of Proof Search in Classical Predicate Calculus (with Bocharov V.A., Bolotov A.E.) V 171

On Logical and Semantical Pecularities of Sacral Texts VI 287

Psychologistic Semantics and Avoidance of Antinomies VI 126

See Khakhanian V.Kh.

Partially interpreted connectives (with Sandu G.) VI 302

See Khorokhorin I.I.

Logical Grammar – Logical and Ontological Observations II 44

Interpreting Lesniewski’s Ontology – a Propositonal Fragment of Lesniewski’s Ontology and Related Systems (with Sagal P.T.) II 6

A problem of building up the theory of factual modalities (with Ivlev Yu.V.) VII 269

Quasi-functional semantics and semantics of restricted sets of state descriptions I 186

Theory of Logical Modalities VI 21

A problem of building up the theory of factual modalities (with Ivlev V.Yu.) VII 269

Quasi-Matrix Logic – Basis of the Theory of Factual (Physical) Modalities VIII 50

Main fields of application of quasi-matrix logic IX 103

Foundations of logical theory of argumentation X 50

Proof of the Embedding of Aristotle’s Syllogistics into Proposional Logic II 279

See Karavayev E.F.

On Tense Logic in One Poorly Known Markov’s Contribution VI 186

On temporal qualification of normative propositions VII 277

Matrix logic without fixed points I 181

Jan Lukasiewicz – Determinism and Logic II 206

Implicational Logics: Lattices and Constructions II 224

Sheffer’s stroke for prime numbers III 292

The Teacher IV 20

Classification of Propositional Logics IV 107

Some V.A. Smirnov’s Logical Ideas V 7

Interrelations Between Implication of Entailment, Strict, Relevant Intuitionistic and Classical Implications VI 76

Logic at the border-line of millennium VII 7

Substructural Logics: Hilbertian Approach VIII 65

Contemporary investigations in philosophical logic X 61

Embedding of calculus RM into its positive fragment (with Popov V.M.) X 94

Embedding of classical prepositional logic into some paralogics X 100

An Intellectual backtrecking III 187

See Khakhanian V.Kh.

On the admissibility of Markov’s rule in an intuitionistic set theory III 174

Functional Algebraic Models for the Non-Classical Set Theory IV 192

Independence of the Principle of Double Supplement of Sets for the Schema of Collection of Set Theory and Intuitionistic Logic V 160

Predicates of Realizability for Set Theory VIII 217

The system of NFI, which equiconsistent with Quine’s system NF. IX 245

Functional algebraic model which corresponds to slash-realizibility of Kleene X 198

Diadic Semantics for the Systems of Formal Syllogistics C1 and C3 (with Popov V.M.) IV 134

Diadic Semantics for Systems of Formal Syllogistics (with Popov V.M.) V 252

Komendantsky V.E.

Priestley’s representation theorem and method of resolution in many valued logics X 109

See Kostyuk T.P.

Positive Syllogistics of Vasiljev’s Type VI 259

N.A. Vasiliev’s N-dimensional logic: modern reconstruction VII 261

The law of assertion and the rule of restricted permutation V 139

On existential concepts and judgements VII 301

Existence and individual descriptions IX 113

The proof of “epistemic analog” of the theorem *14.3. “Principia Mathematica” X 117

See Lubetsky V.A.

On some Tasks of Effectivization and Goal-Oriented Behavior (with Ljubetsky V.A.) IV 180

Transfer theorems and algebra of modal operators III 205

On some Tasks of Effectivization and Goal-Oriented Behavior (with Ljubetskaja S.N.) IV 180

On algorithm of eduction of a regulator signal in the packet of consequences (with Gorbunov K.Yu.) VII 159

Informational structure of dynamic games and volume of information accessible for players (with Golubtsov P.V.) . X 39

On Determinism II 190

Explicit and Non-explicit Definability of Modal Super-Intuitionistic and Relevant Logics V 53

Non-Explicit Definability in Paraconsdistent Extensions of Minimal Logic VIII 72

Materna P.

Concept of Concept II 82

Syllogistical theories and predicate calculus I 58

Aristotle’s Singular Negative Syllogistics and Free Logic IV 137

Formal Reconstruction of Traditional Singular Negative Syllogistics V 241

The Generalized Positive Syllogistics VI 241

An embedding of N.A. Vasiliev’s imaginary logic into quantified three-valued logic VII 252

Intensional Semantics of Traditional Syllogistics VIII 82

Fundamental syllogistics from an intensional point of view IX 119

Towards Semantics for Aristotle’s Apodictic Syllogistics VI 230

Concerning the semantics of Aristotle’s apodictic syllogistic VII 240

Calculi of Rejected Formulae for Non-Traditional Systems of Positive Syllogistics VIII 92

Arithmetical semantics for non-traditional systems of syllogistics IX 147

During Almost a Half of Century a Discussion was Continued... IV 25

Intensional Characteristics of Function in the Logic of Meaning and Denotation VI 153

Semantics of anaphora as an operator of accomplishing definition VII 192

Structure of meaning and competentness of subject in the logic of sense and denotate IX 131

Classical multiplicative linear logic (with Soloviev S.) VII 132

Early Markov’s constructivism realizability semantics (sums and issues) VII 61

To the Question of Consistency of Classical Formal Arithmetics VIII 105

From Cantor to Markov: going up to constructivity (to 100^th anniversary of A.A.Markov’s birthday) X 128

Parallel composition in dynamic logic of games with restricted rationality X 142

See Nepeyvoda N.N.

First steps toward the theory of non-formalizing notions I 34

On a Modification of Semantical Tableaux IV 173

Incomplete Proof Structures and their Application V 61

On applied theories with superintuitionistic logics VII 72

On Formalization of Non-Formalizable VIII 129

Quasi-artificial objects IX 159

Logics and styles of programming X 134

Theoretical Reference and Truthlikeness IV 257

The Language of logical system desciption (with Smirnov A.V.) III 139

The Open System of Proof Search Support for Different Logical Calculi (with Smirnov A.V.) IV 154

See Novosyolov M.M.

Whether the “Locke’s Rule” Belongs to Locke? VI 218

Logical aspects of concept studies I 20

Rough sets – basic notions I 6

Embedding of Lesniewski’s Elementary Ontology into Semantically Closed Theory of Denotation II 32

A Classification of three- and four-valued logics in the framework of the falsehood logic FL4 III 98

Extensional and Intensional Aspects of Axiomatic Denotation Theory IV 261

The Falsehood Logic as a Generalization of Three-valued Lukasiewicz’s Logic V 206

Metapredicate of Truth and Logic of Falsehood VI 170

Conditions of an applicability of classical logic in the framework of languages of non-classical logics VII 174

V.A.Smirnov’s Combined Logics and Logic of Falsehood VIII 144

From sentential logic towards logic of symbolic expressions IX 167

A new approach to the construction and generalization of classical logic X 150

Paraconsistent sequential calculi I 97

Two Remarks and the Question concerned to Implicational Relevant Logics II 153

Problems of Relevant Logic in V.A.Smirnov’s work “Formal Deduction and Logical Calculi” (with Dolgova T.P.) IV 79

Diadic Semantics for the Systems of Formal Syllogistics C1 and C3 (with Khorokhorin I.I.) IV 134

Diadic Semantics for Systems of Formal Syllogistics (with Khorokhorin I.I.) V 252

An embedding of implicative fragment of classical logic into implicative one of intuitionistic logic VII 80

Sequential axiomatization of quasiminimal logic VII 128

Embedding of Intuitionistic Propositional Calculus into its Positive Fragment VIII 150

On a three-valued paracomplete logic IX 175

Embedding of calculus RM into its positive fragment (with Karpenko I.A.) X 94

On the logic of connectionist representation V 195

Countability of Modal Predicate Logics and Conditions for Braking of Increasing Chains VIII 155

On algorithmic expressivity of modal language with only one one-placed predicate letter IX 179

Constant formulae in modal logics: problem of decidability (with Chagrov A.V.) IX 202

Complexity of problem of decidability of basic and formal logic X 158

Interpreting Lesniewski’s Ontology – a Propositonal Fragment of Lesniewski’s Ontology and Related Systems (with Ishimoto A.) II 6

Existence of Predicates and the “Ontological Argument“ VI 276

Logic and the relativity principle VII 232

To the Question of Nature of Time VIII 168

Partially interpreted connectives (with Hiipakka J.) VI 302

On the Reversibility of Doxastic Actions V 135

Logical database automated constructing methods in AI systems I 67

Dinamic Interpretation of Propositions II 68

Theory of Propositional Programs II V 163

Many-valued weak relevant logic RS (relevant scaled) X 212

Generalized truth-values: lattices and multi-lattices IX 264

Weak consequences and paradoxes of entailment I 133

Deduction Theorem for Classical and Non-Classical Calculi II 128

Possible world semantics: from Leibnizean to Humean III 24

Relational semantics of relevant calculi III 53

P. Florensky’s Ideas of Paraconsistent and Non-Monotonic Logics IV 290

Normalized Deductions and Generalization of Deduction Theorem V 101

Binary Relational Semantics for Relevant Logic 81

Universal deduction theorem VII 199

Deduction Theorem for Non-Classical Logics: Two Approaches VIII 172

Relation Semantics and Models of Knowledge IX 221

On axiomatizability of many-valued logics caused by the formalization of plausible reasonings (with Anshakov O.M., Finn V.K.) I 222

A Comparision of the deductive power of realisable sentential formulas III 38

Completeness Theorem for Semantics of Propositional Fragment of One Ackerman’s System VIII 187

Phenomenological Interpretation of Logic VI 15

System of Interactive Theorem Proving II 90

The Language of logical system desciption (with Novodvorsky A.) III 139

The Open System of Proof Search Support for Different Logical Calculi (with Novodvorsky A.E.) IV 154

Double algebras and symmetrical logics I 46

The Definitional Eqaivalence of Lesniewski’s Elementary Ontology and Generalized Okkam-type Syllogistics II 17

Multiimensional Logics II 279

The proof search in natural intuitionistic predicate calculus with e -symbol and existence predicate III 163

Free Logics and Quite Free Logics IV 102

Smirnova E.D.

Kant and Hilbert’s proof theory (the role of ideal patterns in D.Hilbert and I.Kant) III 5

I.Kant and D.Hilbert’s Finite Attitude IV 304

Nature of Logical Knowledge and Issues of Justification of Logical Systems VI 7

The Problem of Formalization of Some Non-Standard Semantics VI 299

Logics in philosophy and philosophy of logics VII 217

On a Puzzle of Belief Contexts VIII 199

Towards the question of clarification of a notion of analycity IX 237

Logical-semantic aspects of analysis of a concept of truth X 167

Classical multiplicative linear logic (with Mints G.) VII 132

The Logic of Branching Time as a Tool for Specification and Verification of Parallel Programs II 159

The Definability of the Qualitative Independence of Events in Terms of Extended Indicator Functions (with Alioshina N.A.) II 105

See Vasyukov V.L.

See Vasyukov V.L.

MN-categories for modal logics I 114

RN-categories for relevant logics I 124

Categorial Semantics for Paraconsistent Logics II 285

Developing Tarski: a cotopos of theories III 276

In defence of Metauniverse III 352

On an Interpretation of Sequent in Situses IV 196

Combined V.A. Smirnov’s Logic from the Situational Viewpoint (Non-Fregean Approach) V 221

Situations and Meaning VI 138

Implicative logics, Lambek’s systems and exponential multicategories VII 90

Combined Causal Logics of Minkowski Spacetime VIII 302

Situations and sense: the non-non-fregean (metaphorical) logic II. IX 64

Consequences of logical pluralism: global and local X 23

Effects in Quantum Logic of Observables X 241

Basic logic and primitive-recursive realizability IX 90

Relevant logic as the stage of development of logic, its philosophical and methodological significance I 143

Theory of Logical Relevancy IV 222

Ontological Necessity and Apodictic Syllogistics VI 227

A logic of quantum mechsanics based on the classical logic III 123

Different Kinds of Relevance V 86

On the Cognition of Laws of Nature X 257

Two methods of constructing logical calculi: logics of conclusions and logics of formulas I 101

AM-algebra and Lefebvre-Schreider’s conseience algebra X

Kant’s model of God (with Bocharov V.A.) VII 308

Theory of Relevant Entailment I: Axiomatics V 119

Theory of Relevant Entailment II: Semantics VI 109

Theory of Relevant Entailment III: Combinatorial Semantics TE VIII 38

An Expert system of logical recognition as the educatinal tool for logical inference methods III 178