This article is cited in 1 paper

Mathematics

Natural deduction for Yuriev's logic

Ya. I. Petrukhin

Lomonosov Moscow State University, Moscow, Russia

Abstract: In the paper we consider the three-valued Yuriev's logic constructed for the simulating of the work of a biological neuron and an artificial neural networks. We formulate a natural deduction system which is adequate with respect to the semantics of the considered logic.

Keywords: natural deduction, three-valued logic, Yuriev's logic, logic of neuron network, logic of biological neuron.

UDC: 510.644

Received: 16.01.2017
Revised: 24.02.2017

Bibliographic databases:

• 
•