Bibliography of Logical Investigations

Transcription

1 Bibliography of Logical Investigations

2

3 Bibliography of Logical Investigations Logical Investigations. Vol. 11. M.: Nauka, Logical Investigations. Vol. 12. M.: Nauka, Logical Investigations. Vol. 13. M.: Nauka, Logical Investigations. Vol. 14. M.: Nauka, Logical Investigations. Vol. 15. M.: Nauka, Logical Investigations. Vol. 16. M.Spb.: C.G.I., Logical Investigations. Vol. 17. M.Spb.: C.G.I., Logical Investigations. Vol. 18. M.Spb.: C.G.I., Logical Investigations. Vol. 19. M.Spb.: C.G.I., Logical Investigations. Vol. 20. M.Spb.: C.G.I., Author s Index of vol of Logical Investigations 1 Alechina N. A general method of proving decidability of intuitionistic modal logics (with Shkatov D.) XIII 5 On modal logics with existential modality (with Shkatov D.) XII 5 Anellis I.H. How Peircean was the Fregean Revolution in Logic? XVIII Const. by Migla A.V.

4 290 Anisov A.M. A computational meta-model of the reality and the problem of truth XIII 24 Classical computability and indicators of non-determinism XIV 5 Definition of real truth concept in set theory with ftoms XI 5 Nondeterministic computability: philosophical foundations XV 5 The concept of reality and logic XII 14 Arkhiereev N.L. Logical modalities as arithmetical functions XVI 3 Semantic of possible sets of truth-values for S5. Decision procedure XVII 5 Bakhtiyarov K.I. How computer may think in terms of boolean many-valueness XVII 14 Logical positionality XVIII 26 Metascience symbols (universal characteristic) XX 211 Barral F. Non-standard reductions and categorical models in typed lambda-calculus (with Chemouil D., Soloviev S.) XII 300 Basukoski A. Natural deduction system for linear time temporal logic (with Bolotov A., Grigoriev O., Shangin V.) XVII 71 Batashov D. A paranormal sublogic of intuitionistic logic (with Popov V.) XII 62 On a nine-valued paranormal logic with (with Popov V.) XII 54 On untabularity of a paranormal logic XII 49 Bazhanov V.A. Logic in Russia and Orthodox Church XVIII 5

5 Bibliography of Logical Investigations 291 P.S. Poretsky. Life and scientific activity of pioneer in russian investigations in the field of mathematical logic XI 23 The communist party and logic. On the history of a pivotal decree of the Central Committee of the All-Union Communist Party of XII 32 Beltukov A.P. Manifest of applied constructivism (with Nepeivoda N.N.) XVI 199 Bezhanishvili M.N. Logical omniscience and epistemic tableaux predicate calculus XI 34 Beziau J.-Y. What is a logic? Towards axiomatic emptiness XVI 272 Biryukov B.V. Alexander Ivanovich Vvedenskiy as logician. Part I (with Biryukova L.G.) XVII 34 Alexander Ivanovich Vvedenskiy as logician. Part II (with Biryukova L.G.) XVIII 34 Early application of logic to technology: Ehrenfest, Gersevanov, and Shestakov. From the applications of logic to civil engineering and relay schemes to the logical theory of the measurement of physical quantities (with Shakhov V.I.) XIV 73 Foreign schools of philosophy of mathematics and their reflection in philosophical-logical and historicalmathematical though in Russia of XVII-XX centuries (with Kuzicheva Z.) XII 67 Foreign schools of the philosophy of mathematics and their ifluence on philosophy of logic and history of mathematics in Russia in XVIII-XX centuries (with Kuzicheva Z.) XIII 47 Life and career of Victor Ivanovich Shestakov, the creator of the logical theory of relay schemes (with Verstin I.S., Levin V.I.) XIV 27

6 292 Ludvig Wittgenstain and Sofia Aleksandrovna Yanovskaya Cambridge Genius becomes acquainted with soviet mathemathicians in 30th years (with Biryukova L.G.) XI 46 On the problem of priority in the discovery of the logical theory of contact-relay schemes. A document from the archive of V. I. Shestakov XV 31 The problem of logical contradiction and Russian religious philosophy (with Pryadko I.P.) XVI 23 Biryukova L.G. Alexander Ivanovich Vvedenskiy as logician. Part I (with Biryukov B.V.) XVII 34 Alexander Ivanovich Vvedenskiy as logician. Part II (with Biryukov B.V.) XVIII 34 Ludvig Wittgenstain and Sofia Aleksandrovna Yanovskaya. Cambridge Genius becomes acquainted with soviet mathemathicians in 30th years (with Biryukov B.V.) XI 46 Bolotov A.E. Natural deduction in a paracomplete setting (with Shangin V.O.) XX 222 Natural deduction system for linear time temporal logic (with Basukoski A., Grigoriev O., Shangin V.) XVII 71 Brushinkin V.N. Logic and proof-search procedures XVI 85 Bystrov P.I. A method of mutual conversion of labeled and tableaux deduction XII 109 Relevant calculus in analitic tableaux form XI 95 Carnielli W. Formal polynomials, heuristics and proofs in logic.... XVI 280 Chagrov A.V. Algorithmic problem of finitary semantics entailment for basic and formal A. Visser s logics XI 282

7 Bibliography of Logical Investigations 293 Demise of the alogorithmic agenda in the correspondence theory? (with Chagrova L.A.) XIII 249 Remarks on natural minimal logics: Visser s basic and formal logics and their modal counterparts XII 293 The algorithmic problem of finitary semantic consequence for propositional formulas I XIII 216 Chagrova L.A. Demise of the alogorithmic agenda in the correspondence theory? (with Chagrov A.) XIII 249 Chemouil D. Non-standard reductions and categorical models in typed lambda-calculus (with Barral F., Soloviev S.) XII 300 Chernoskutov Yu.Yu. Logic and object theory in 19th century: from Bolzano to Frege XIX 10 Devyatkin L.Yu. Equality of consequence relations in finite-valued logical matrices XIX 273 Four consequence relations, three orders, two matrices, one bilattice XVIII 127 n-valued matrices for the classical propositional logic... XV 94 On some functional properties of three-valued logical matrices for classical logic XVII 109 Three-valued matrices with classical consequence relation for an arbitrary propositional language XX 246 Three-valued isomorphisms of classical logic XI 119 Dragalina-Chernaya E.G. Formal ontologies as abstract logics XII 162 The logic of colors in model-theoretical and gametheoretical perspectives XIX 23 Fedoseev A. On finitely-generated implicational structures (with Khomich V.) XIII 200

8 294 Finn V.K. Standard and non-standard logics of argumentation I XIII 158 Fyodorov B. The introduction of singular terms into Bolzano syllogistics XII 263 Gerasimova I.A. P.A. Florensky about the contradiction (logical and methodological analysis) XVIII 77 Gorbunov I.A. Continuum classes of logics (with Rybakov M.N.).... XIV 131 Independent bases of deductive systems XV 78 Well-defined logics XVII 95 Gorokhov V.G. The logic and technology: from electric circuit theory to nano systems engineering XVIII 97 Grigoriev O.M. Bipartite truth one logic (with Zaitsev D.V.) XVII 121 Natural deduction system for linear time temporal logic (with Bolotov A., Basukoski A., Shangin V.) XVII 71 Hintikka J. The modified Ramsey theorem is not a Godel sentence XIX 33 Ilyin А.А. Traditional syllogistic with negative terms XVII 140 Ivlev Yu.V. Generalization of Kalmar s method for quasi-matrix logic XIX 281 Karavaev E. Once more on difficulties of the construction of deontic logic XII 170

9 Bibliography of Logical Investigations 295 Karpenko A.S. The subject of logic in the light of the basic tendencies of its development XI 149 Von Wright s truth-logic and around XIX 39 Continuity of three-valued logic: problems and hypotheses XVI 127 Towards protologic XVII 152 Karpenko I.A. Embedding operations and their application XII 182 The concept of Translation : history and theory XIX 308 Khakhanyan V.Kh. Functional algebraic models for HA and set theory with intuitionistic logic XII 272 Functional-algebraic model of S-realizability XIII 196 Intuitionistic arithmetic with Markov principles and P XIV 283 On one property of universes in realization models for intuitionistic set theory XV 229 Properties of ordinals in the set theory with intuitionistic logic XIII 191 Set theory with intuitionistic logic: basic system XI 278 Khomenko I.V. The path of logic in Ukraine: a history of concepts..... XIX 51 Khomich V. On finitely-generated implicational structures (with Fedoseev A.) XIII 200 On isomorphic embedding of finite Boolean algebras and topological Boolean algebras XII 282 Komendantskaya E.Y. Functional interdependence of regular Kleene logics... XV 116 Kotikova E.A. First-order logics of branching time: on expressive power of temporal operators (with Rybakov M.N.) XIX 68 Kovalev S. Application of Lukaseiwicz logics to algorithm design.. XII 194

10 296 Kozachenko N.P. Rationality criteria within belief revision: consistency. XVI 134 Kracht M. Gnosticism or: how logic fits my mind XVIII 273 Krasnenkova A.V. Proof search in the natural deduction systems for negative syllogistics XIV 152 Krushinsky A.A. Genetic deduction as an alternative to the traditional concept of deduction as inference from the axioms XIV 176 Kuzicheva Z. Foreign schools of philosophy of mathematics and their reflection in philosophical-logical and historical-mathematical though in Russia of XVII-XX centuries (with Biryukov B.)..... XII 67 Foreign schools of the philosophy of mathematics and their ifluence on philosophy of logic and history of mathematics in Russia in XVIII-XX centuries (with Biryukov B.) XIII 47 Lednikov E.E. A logic of knowledge and related notions XIII 132 Knowledge and belief: its role in science and communication XVII 167 On one variant of dynamic-epistemic logic XIV 218 Semantics of first-order dynamic logic XV 129 Some pecularities of first-order logics of belief and knowledge XII 207 Levin V.I. Akira Nakashima and logical modelling of discrete schemes XIV 187 Continuous logic: basic notions XIII 114 Interval logic and some of its applications XI 172 Life and career of Victor Ivanovich Shestakov, the creator of the logical theory of relay schemes (with Biryukov B.V., Verstin I.S.) XIV 27 Victor Ivanovich Shestakov and logic modelling XVI 157

11 Bibliography of Logical Investigations 297 Lisanyuk E.N. Deontic cocktail according to E. Mally s receipt..... XIX 100 Malinowski G. Multiplying logical values XVIII 292 Manin Yu.I. Truth as value and duty: lessons of mathematics XV 284 Markin V.I. E.K. Voishvillo s theory of concept: value and prospects XX 58 Fundamental syllogistics with indefinably-placed constant XI 187 Positive syllogistic C3 + with the constant of completeness XV 137 Singular extensions of Lukasiewicz syllogistic XVII 173 What trends in non-classical logic were anticipated by Nikolai Vasiliev? XIX 122 Mchedlishvili L.I. Aristotle s apodeictic syllogistics: method of derivation of superfluous information; fragmentarity XI 228 Mikirtoumov I.B. Compositional and non-compositional types in intensional logic XI 200 Compositional conceptualization in intentional logics.. XII 211 Ernst Mally s theory of objects and intensional logic.... XX 76 Pragmatic predicates and epistemic dynamic in logic of sense I XIV 224 The laws of reason and logic in Nikolai Vasiliev s system XIX 136 Moiseev V.I. Projective-modal ontology and some it s applications... XI 215 Moskvitsova N.G. Lesniewski s logical systems XVIII 141 Mutanen A. Formal methodology XV 296

12 298 Nepeivoda A.N. Technical systems in logic: questions of formalization and automatic verification XIX 148 Nepeivoda N.N. Abstract Chaitin s theorem and its methodological consequences XIX 166 Constructive mathematic: review of progress, lacks and lessons. Part I XVII 191 Constructive mathematic: review of progress, lacks and lessons. Part II XVIII 157 Constructive mathematic: review of progress, lacks and lessons. Part III XX 110 Intellectual viruses XIV 240 Manifest of applied constructivism (with Beltukov A.P.) XVI 199 Reverse constructive logics XV 150 Niiniluoto I. Successful science without miracles XIX 184 Novosyolov M. On by-gone days (from the history of the first national philosophical encyclopedia) XII 226 Pavlov S.A. Bi-lattices for belnap logic and its extensions XII 243 Extensions of the domain of definition of truth predicate to the restricted scope of symbolic expressions XI 238 Modification of Frege s and Dunn s semantics for propositional logics XIII 136 Modified Fregean semantics and functional interpretation XIV 252 The truth operator for classical propositional logic and its extension to not-well-formed formulas XV 169 Popov V.M. A paranormal sublogic of intuitionistic logic (with Batashov D.) XII 62 Between Int ω,ω and intuitionistic propositional logic.. XIX 197

13 Bibliography of Logical Investigations 299 Embedding classical propositional logic into paralogics related to Par XX 149 Four simple paralogics: semantics and sequent calculi. XIV 262 Intuitionistically acceptable paranormal logic (with Shuklin G.N.) XI 243 On a nine-valued paranormal logic with (with Batashov D.) XII 54 Sequent-systems axiomatizing simple paralogics XVI 205 Some intervals between simple paralogics XV 182 Syntax and semantics of simple paracomplete logics (with Shangin V.O.) XIX 325 Tow sequences of paraconsistent logics XIV 257 Interpolation theorem for simple paranormal logic Int 0,ω XVIII 182 Sequential axiomatization of paranormal logic PContPComp XVII 240 Sequential axiomatization of propositional Nelson s type logics XVII 246 Popov O.V. The intensional use, appellatio rationis and incomplete object descriptions: an analysis of nonextensional contexts in the works by J. Buridan and Е.К. Voishvillo XX 159 Prelovskiy N.N. A non-cartesian extension of system E XVII 251 Cardinality of sets of closed functional classes in weak 3-valued logics XIX 334 Infinite-valued Lukasiewicz logic and criteria for existence of factor-semantics in multi-valued logics.... XX 179 On two precomplete classes of three-valued Lukasiewicz s logic XVIII 197 Pryadko I.P. The problem of logical contradiction and Russian religious philosophy (with Biryukov B.V.) XVI 23

14 300 Reznik М. Structuralism and the identity of mathematical objects XVI 221 Rybakov M.N. Continuum classes of logics (with Gorbunov I.A.).... XIV 131 Embedding of intuitionistic logic in his two-variable fragment and complexity oh this fragment XI 247 First-order logics of branching time: on expressive power of temporal operators (with Kotikova E.A.)..... XIX 68 Sandu G. Dynamic logic versus GTS: A case study XIX 200 Shakhov V.I. Early application of logic to technology: Ehrenfest, Gersevanov, and Shestakov. From the applications of logic to civil engineering and relay schemes to the logical theory of the measurement of physical quantities (with Biryukov B.V.) XIV 73 Shalack V.I. A logic of terms XIV 286 About genetic method XVII 281 An alternative definition of logical consequence XIII 274 Logic of Abelian groups XI 290 Logic of functions vs logic of relations XVI 259 Logic of groups and free groups XI 298 Logical analysis of defenitional deduction XV 266 M.I. Sheinfinkel and combinatoric logic XV 274 On the concept of proof XIV 301 Protologic and its structure XX 196 Semiotic foundations of logic XIX 225 The logic of alternative logical consequence XIII 274 The logic of functional consequence XVIII 234 Two approaches to the construction of logic XVII 269 Shangin V.O. Natural deduction in a paracomplete setting (with Bolotov A.E.) XX 222

15 Bibliography of Logical Investigations 301 Natural deduction system for linear time temporal logic (with Bolotov A., Basukoski A., Grigoriev O.) XVII 71 Natural deduction systems of some logics with truth-value gluts and truth-value gaps XVII 293 Syntax and semantics of simple paracomplete logics (with Popov V.M.) XIX 235 Sheinfinkel M.I. On the brics of mathematical logic XV 232 Shiyan T.A. Modelling of logical knowledge and knowlegde-based deduction by means of databases XIV 306 Shkatov D.P. A general method of proving decidability of intuitionistic modal logics (with Alechina N.) XIII 5 Analogue of Makinson s theorem for the normal modal logics with Segerberg s operator XI 304 On modal logics with existential modality (with Alechina N.) XII 5 Shramko Y. V. Logic of computer networks (with Wansing H.) XII 119 Logical entailment and marked values (with Zaitsev D.V.) XI 126 Shuklin G.N. Intuitionistically acceptable paranormal logic (with Popov V.M.) XI 243 Smirnova E.D. A general approach to the construction of semantics and its methodological foundations XII 249 An approach to the interpretation on intensional contexts XIX 238 Epistemological and logico-semantical foundations of paradoxes XIV 271 Towards an explication of semantics concept of truth XI 262

16 302 Soloviev S. Non-standard reductions and categorical models in typed lambda-calculus (with Barral F., Chemouil D.) XII 300 Steshenko N.I. Analytic tableaux for Rogovsky s propositional logic... XV 185 Rogowsky s logic as a functional system XIII 142 Strollo A. A case for satisfaction classes: model theoretic vs axiomatic approaches to the notion of truth XIX 246 Suvorov V.V. Synthesis of logical axioms in hypercube structures space XI 267 Tamminga A. Correspondence analysis for strong three-valued logic.. XX 253 Tomova N.E. Implicative extensions of regular Kleene logics XVI 233 Natural p-logics XVII 256 Natural three-valued logics and classical logic XIX 344 On four-valued regular logics XV 223 Tonoyan L.G. The relation of logic following in Severin Boetsius s treatises XVIII 211 Vasyukov V.L. Dialogue games for Dishkant s quantum modal logic.. XIX 353 Logical pluralism and non-classical category theory.. XVIII 60 Metalogical pluralism and universal logic XVI 106 Non-Fregean guide for Husserlian and Meinongian jungles XI 99 Non-Fregean guidebook to Husserlean and Meynongian jungles. II XII 146 On the structure of universal logic XIII 95 Paraconsistent categories for paraconsistent logic..... XVII 69 The inner logic of universal logic XV 58

17 Bibliography of Logical Investigations 303 The problem of context of interpretation in universal logic XIV 105 Verstin I.S. Life and career of Victor Ivanovich Shestakov, the creator of the logical theory of relay schemes (with Levin V.I., Biryukov B.V.) XIV 27 Vladimirov A. A. On a concept of non-infinite set in constructive mathematics. Part I XVII 84 Voishvillo E. K. To the problem of the justification of apodictic knowledge..... XX 8 Wansing H. Logic of computer networks (with Shramko Y.) XII 119 Zaitsev D.V. Bipartite truth one logic (with Grigoriev O.M.).. XVII 121 Dispositionality, enthymeme and knowledge XX 46 Intuitionistic semantics of relevant consequence relation XV 106 Logical entailment and marked values (with Shramko Y. V.) XI 126 Proto-Entailment in RS logic XIX 260 Znamenskaya N.A. On the problem of expressibility operations of characteristic matrices of paraconsistent and paracomplete logics. XVIII 132 Znatnov S.Y. On the software for computer proofs XI 138