M. S. Sheremet, “Weak conjunctions of identities”, Sib. Èlektron. Mat. Izv., 2016, Volume 13,Pages <nobr>280

Mathematical logic, algebra and number theory

Weak conjunctions of identities

M. S. Sheremet^ab

^a Sobolev Institute of Mathematics, pr. Koptyuga, 4, 630090, Novosibirsk, Russia
^b Siberian Institute of Management RANEPA, ul. Nizhegorodskaya, 6, 630102, Novosibirsk, Russia

Abstract: We say that a weak conjunction of equalities of partial functions is true if all those equalities are true in a usual sence provided that all functions there are defined. We construct a full and correct system of inference rules for the logic of weak conjunctions of identities.

Keywords: partial algebras, weak identities.

UDC: 510.64. 512.57

MSC: 08B05, 08A55

Received November 9, 2015, published April 15, 2016

DOI: 10.17377/semi.2016.13.022