|
|||||
|
|
Conditional and post algebra expressions |
|
| Authors: | D C Rine |
| Institution: | Department of Statistics and Computer Science, West Virginia University, Morgantown, W. Va. 26506, USA |
| Abstract: | Boolean expressions of Boolean algebras are logically equivalent to conditional logic expressions; we define and give theorems about equivalences of general conditional expressions; moreover, conditional expressions are properly contained in n-valued Post algebras. Theorems are given regarding equivalences of conditional logic in Post logic. |
| Keywords: | |
| 本文献已被 ScienceDirect 等数据库收录！ | |