Complementary lemmas in the theory of binary relations |
| |
Authors: | Raymond H Burros |
| |
Institution: | (1) Research and Development Division, Engineering Dept., The Port Authority of New York and New Jersey, USA |
| |
Abstract: | This paper presents a metatheorem with the following property: Given a proven axiom-free lemma, which interrelates some of the elementary properties of a binary relation, the metatheorem mechanically transforms this lemma into its uniquely corresponding complementary lemma. Therefore, the metatheorem nearly doubles our knowledge about the elementary properties of binary relations, for application to statistical decision theory. At present we do not know whether there exists a nontrivial axiom-free lemma that is its own complementary lemma. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|