Melvin Fitting, First-order intensional logic, Proccedings of the Alfred Tarski Centenary Conference (D. Niwinski and J. Wolenski, editors), Warsaw, May 28{June 1, 2001, to appear.  Home/Search   Document Details and Download   Summary   Related Articles

....the same logic. This is only approximately the case. We will show in Theorem 32 that for every counterpart structure there is a coherence structure having the same theory. This is not generally true for frames. However, adopting a modi cation of coherence frames proposed by Melvin Fitting in [3], namely balanced coherence frames (in [3] the corresponding frames are called Riemann FOIL frames) it can indeed be shown that for every counterpart frame there is a balanced coherence frame with the same theory. Let us begin by elucidating some of the connections between counterpart and ....

....the case. We will show in Theorem 32 that for every counterpart structure there is a coherence structure having the same theory. This is not generally true for frames. However, adopting a modi cation of coherence frames proposed by Melvin Fitting in [3] namely balanced coherence frames (in [3] the corresponding frames are called Riemann FOIL frames) it can indeed be shown that for every counterpart frame there is a balanced coherence frame with the same theory. Let us begin by elucidating some of the connections between counterpart and coherence frames. Note again that since ....

[Article contains additional citation context not shown here]

Melvin Fitting, First-order intensional logic, Proccedings of the Alfred Tarski Centenary Conference (D. Niwinski and J. Wolenski, editors), Warsaw, May 28{June 1, 2001, to appear.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC