A Logic is Referential iff it is Selfextensional
暂无分享,去创建一个
The title of this paper is a theorem, which I am going to state and prove. The theorem extends from prepositional to predicate languages the result I presented in [5].
[1] A. Robinson. Introduction to model theory and to the metamathematics of algebra , 1964 .
[2] Ryszard Wójcicki,et al. Theory of Logical Calculi , 1988 .