|
|||||
|
|
Axiomatization of the De Morgan type rules |
|
| Authors: | B Herrmann W Rautenberg |
| Institution: | (1) Freie Universität Berlin II. Math. Institut, Arnimallee 3, 1000 Berlin 33 |
| Abstract: | In Section 1 we show that the De Morgan type rules (= sequential rules in L( ,  ) which remain correct if  and are interchanged) are finitely based. Section 2 contains a similar result for L( ). These results are essentially based on special properties of some equational theories. |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |