upper
Institute of Philosophy
of the Russian Academy of Sciences
Logical Investigations. Vol. 15. – M.: Nauka 2009. – 319 p. ISBN 978-5-02-036826-2
Home Page
»
»
Logical Investigations
»
Logical Investigations. Vol. 15. – M.: Nauka 2009. – 319 p. ISBN 978-5-02-036826-2
print page
Logical Investigations. Vol. 15. – M.: Nauka 2009. – 319 p. ISBN 978-5-02-036826-2
CONTENTS
A. M. Anisov
. Nondeterministic computability: philosophical foundations.
B. V. Biryukov
. 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.
V. L. Vasyukov
. The inner logic of universal logic.
I. A. Gorbunov
. Independent bases of deductive systems.
L. Y. Devyatkin
. n-valued matrices for the classical propositional logic.
D. V. Zaitsev
. Intuitionistic semantics of relevant consequence relation.
E. Y. Komendantskaya
. Functional interdependence of regular Kleene logics.
E. E. Lednikov
. Semantics of first-order dynamic logic.
V. I. Markin
. Positive syllogistic C3+ with the constant of completeness.
N. N. Nepeivoda
. Reverse constructive logics.
S. A. Pavlov
. The truth operator for classical propositional logic and its extension to not-well-formed formulas.
V. M. Popov
. Some intervals between simple paralogics.
N. I. Steshenko
. Analytic tableaux for Rogovsky's propositional logic.
N. E. Tomova
. On four-valued regular logics.
V. Kh. Khakhanyan
. On one property of universes in realization models for intuitionistic set theory.
M. I. Sheinfinkel
. On the brics of mathematical logic.
V. I. Shalack
. M. I. Sheinfinkel and combinatoric logic.
V. I. Shalack
. Logical analysis of defenitional deduction.
Yu.I. Manin
. Truth as value and duty: lessons of mathematics.
A. Mutanen. Formal Methodology.
Institute of Philosophy
Russian Academy of Sciences
Copyright © 2007—2021
Logical Investigations
History of Philosophy Yearbook
Ishraq: Islamic Philosophy Yearbook
History of Philosophy
Philosophy of Science and Technology
upper
