G. É. Minc. Poditor térmoν ν kvantornyh pravilah konstruktiνnogo isčisléniá predikátov. Isslédovaniá po konstruktivnoj matématiké i matématičéskoj logiké, I, edited by A. O. Slisénko, Zapiski Naučnyh Séminarov Léningradskogo Otdéléniá Matématičéskogo Instituta im. V. A. Stéklova AN SSSR (LOMI), vol. 4, Moscow1967, pp. 112–122. - G. E. Mints. Choice of terms in quantifier rules of constructive predicate calculus. English translation of the preceding. Studies in constructive mathematics and mathematical logic, Part I, edited by A. O. Slisenko, Seminars in Mathematics, V. A. Steklov Mathematical Institute, Leningrad, vol. 4, Consultants Bureau, New York1969, pp. 43–46.

1971 ◽  
Vol 36 (3) ◽  
pp. 525-525
Author(s):  
J. van Heijenoort
Keyword(s):  
Mathematical Logic ◽  
English Translation ◽  
Mathematical Institute ◽  
Steklov Mathematical Institute ◽  
Predicate Calculus ◽  
Constructive Mathematics

scholarly journals Destinies and Seminars. On the Seminar «Problems of Reducing the Exhaustive Search» at LETI in a Historico-Scientific Context

2019 ◽  
pp. 5-14
Author(s):  
Sergei V. Soloviev ◽  
Keyword(s):  
Mathematical Logic ◽  
Mathematical Institute ◽  
Steklov Mathematical Institute ◽  
Exhaustive Search ◽  
Scientific Publications ◽  
Scientific Context ◽  
Scientific Ideas ◽  
Young Researchers

Exhaustive Search» organized at the Leningrad Electrotechnical Institute (LETI) by R.I. Freidson (1942-2018) is considered. The seminar opened in 1982, one of its main aims being the development of scientific ideas of S. Yu. Maslov (1939-1982). The meetings continued regularly until the beginning of 1990es. The historico-scientific context is outlined, including the links with other contemporary seminars, such as the S.Yu. Maslov’s seminar and the seminar on mathematical logic at the Leningrad Branch of the Steklov Mathematical Institute (LOMI); the ideas developed at the seminar and main results represented by scientific publications are considered. The pedagogical role of the seminar (its formative influence on young researchers), the organizational talent of R.I. Freidson and the effect of his personality on seminar’s creative atmosphere are considered as well.

scholarly journals Preface

2011 ◽  
Vol 21 (4) ◽  
pp. 671-677 ◽  
Author(s):  
GÉRARD HUET
Keyword(s):  
Mathematical Logic ◽  
Computer Science ◽  
20Th Century ◽  
Theorem Proving ◽  
Propositional Calculus ◽  
Interactive Theorem Proving ◽  
Predicate Calculus ◽  
Special Issue ◽  
Mathematical Structures ◽  
Infinite Domains

This special issue of Mathematical Structures in Computer Science is devoted to the theme of ‘Interactive theorem proving and the formalisation of mathematics’.The formalisation of mathematics started at the turn of the 20th century when mathematical logic emerged from the work of Frege and his contemporaries with the invention of the formal notation for mathematical statements called predicate calculus. This notation allowed the formulation of abstract general statements over possibly infinite domains in a uniform way, and thus went well beyond propositional calculus, which goes back to Aristotle and only allowed tautologies over unquantified statements.

Mathematical Logic: Proof Theory, Constructive Mathematics

2008 ◽  
pp. 907-952
Author(s):  
Samuel Buss ◽  
Helmut Schwichtenberg ◽  
Ulrich Kohlenbach
Keyword(s):  
Mathematical Logic ◽  
Proof Theory ◽  
Constructive Mathematics
Sign in / Sign up

Export Citation Format

Share Document