Abstract
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].
Similar content being viewed by others
References
Hintikka, J., Models and Modalities, Selected Essays, D. Reidel, 1968.
Pogorzelski, W.A., Klasyczny rachunek kwantyfikatorów, PWN, Warszawa, 1981.
Robinson, A., Introduction to model theory and to the metamathematics of algebra, North-Holland Publ., 1963.
Tarski, A., Logics, Semantics Metamathematics; Papers from 1923–1928, Clarendon Press, Oxford, 1956.
WÓjcicki, R., Theory of Logical Calculi, Kluwer Academic Publishers, Dordrecht, 1988.
WÓjcicki, R., ‘Referential semantics’, to appear in V. F. Hendricks, K. F. Jørgensen, S. A. Pedersen (eds), Knowledge Contributors, Synthese Library Series, Kluwer Academic Publishers, Dordrecht, 2003.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Wójcicki, R. A Logic is Referential iff it is Selfextensional. Studia Logica 73, 323–335 (2003). https://doi.org/10.1023/A:1023360709757
Issue Date:
DOI: https://doi.org/10.1023/A:1023360709757