A note on the logic of signed equations |
| |
| Authors: | Stephen L. Bloom |
| |
| Affiliation: | (1) Mathematical Sciences Department, IBM T. J. Watson Research Center, 10598 Torktown Heights, NY;(2) Present address: Department of Pure and Applied Mathematics, Stevens Institute of Technology, 07030 Hoboken, NJ |
| |
| Abstract: | A signed  -equation is an expression of the form t  t or t  t, where t and t are -terms (for some ranked set ). We characterize those classes of -algebras which are models of a set of signed -equations. Further we consider the problem of finding a complete deductive system analogous to equational logic for the logical consequence operation restricted to signed equations. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
