well-known postulates and conditions from one domain to the other, ..... should hold of any relation that deserves the name of "inference relation". ..... xn F X with Ри {x], ..., xj inconsistent so that Au {x-\, ..., x]Vy} is inconsistent Ñо that ~>xi v ., v ...
3MB Sizes
1 Downloads
199 Views