On the status of the postulate of recove
โ
David Makinson
๐
Article
๐
1987
๐
Springer Netherlands
๐
English
โ 639 KB
and revision are seen as applied directly to theories, that is, to sets closed under logical consequence. We suggest, on the contrary, that such applications form an idealized mathematical exercise, and that in real life the operations are always applied to bases for theories. When contraction and r