|
Mathematical logic, algebra and number theory
Weak conjunctions of identities
M. S. Sheremetab 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.
Received November 9, 2015, published April 15, 2016
Citation:
M. S. Sheremet, “Weak conjunctions of identities”, Sib. Èlektron. Mat. Izv., 13 (2016), 280–285
Linking options:
https://www.mathnet.ru/eng/semr671 https://www.mathnet.ru/eng/semr/v13/p280
|
Statistics & downloads: |
Abstract page: | 137 | Full-text PDF : | 35 | References: | 46 |
|