Editor-in-chief    Maydim Malkov
11/43 Perovskay street Moscow 111141 Russia
e-mail   mamalkov@hotmail.com

It is a semi-annual mathematical journal for logicians and programmers. Now the basic theme of this Journal is the artificial intelligence of mathematician (robot-mathematician). There are 10,000 premiums of $10,000 each for the best works in this area. The basic purpose is construction of algorithms and the programs realizing the robot-mathematician such that this robot will be better than any natural mathematician. Robot-mathematician simultaneously should be the robot-programmer (because programming is a branch of mathematics).

The journal is published since 2001. In total it has 2 issues. Last issue was published in 2003 but it was dated 2001, in order to the numbering was not interrupted. We shall hope that the next issues will be published more often and the numbering will be not interrupted. All this depends on activity of authors. The computer type-setting and imposition allow to let out the journal within 15 days. But for this purpose all your articles should be electronical. Any computer editor suits, but we recommend LaTeX-epsilon.

Articles should be directed to: mamalkov@hotmail.com or rl@malkov.msk.su, or post to: Relational Logic, 43/11 Perovskay street, Moscow, 111141, Russia.

The journal is named Relational Logic because artificial intelligence should be created by logicians and programmers. Now programming is a branch of logic (computability and effective computability), and programmers have became real logicians.

The relational logic replaces functions by relations since computer processing is easier for relations (tables). Thus it appears that the classical logic has became a branch of relational logic (see From editor in the second issue).

First two issues basically are devoted to fundamental questions of logic. The most interesting article is Non-standard Analysis. Articles about functional programming languages of the low level (in the first and second issues) and about relational languages of the high level (in the first issue) are applied. In the second issue two articles (Artificial intelligence and theorem proving, Automated theorem proving and logical modelling) are devoted to the artificial intelligence.

Write us! Your articles will be published in a month and have been dated 2002 or 2003.

IN ISSUE 1

IN ISSUE 2