upper
Institute of Philosophy
of the Russian Academy of Sciences
Logical Investigations. Vol. 14. – M.: Nauka 2007. – 324 p. ISBN 978-5-02-035860-7
Home Page
»
»
Logical Investigations
»
Logical Investigations. Vol. 14. – M.: Nauka 2007. – 324 p. ISBN 978-5-02-035860-7
print page
Logical Investigations. Vol. 14. – M.: Nauka 2007. – 324 p. ISBN 978-5-02-035860-7
CONTENTS
A. Anisov.
Classical computability and indicators of non-determinism
B. Biryukov, I. Verstin, V. Levin.
Life and career of Victor Ivanovich Shestakov, the creator of the logical theory of relay schemes
B. Biryukov, V. Shakhov.
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
V. Vasyukov.
The problem of context of interpretation in universal logic
I. Gorbunov, M. Rybakov.
Continuum classes of logics
A. Krasnenkova.
Proof search in the natural deduction systems for negative syllogistics
A. Krushinsky.
Genetic deduction as an alternative to the traditional concept of deduction as inference from the axioms
V. Levin.
Akira Nakashima and logical modelling of discrete schemes
E. Lednikov.
On one variant of dynamic-epistemic logic
I. Mikirtumov.
Pragmatic predicates and epistemic dynamic in logic of sense I
N. Nepeivoda.
Intellectual viruses
S. Pavlov.
Modified Fregean semantics and functional interpretation
V. Popov.
Tow sequences of paraconsistent logics
V. Popov.
Four simple paralogics: semantics and sequent calculi
E. Smirnova.
Epistemological and logico-semantical foundations of paradoxes
V. Khakhanyan.
Intuitionistic arithmetic with Markov principles and P
V. Shalack.
A logic of terms
V. Shalack.
On the concept of proof
T. Shiyan.
Modelling of logical knowledge and knowlegde-based deduction by means of databases
Institute of Philosophy
Russian Academy of Sciences
Copyright © 2007—2022
Logical Investigations
History of Philosophy Yearbook
Ishraq: Islamic Philosophy Yearbook
History of Philosophy
Philosophy of Science and Technology
upper
