Институт Философии
Российской Академии Наук




  Logical Investigations. Vol. 15. – M.: Nauka 2009. – 319 p. ISBN 978-5-02-036826-2
Главная страница » » Logical Investigations. Vol. 15. – M.: Nauka 2009. – 319 p. ISBN 978-5-02-036826-2

Logical Investigations. Vol. 15. – M.: Nauka 2009. – 319 p. ISBN 978-5-02-036826-2

  • 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.