1. Rudolf Carnap,Meaning and Necessity, wyd. I, Chicago 1947, wyd. II (uzupełnione) Chicago 1956.
2. Roman Suszko,An Essay in the Theory of Extension and of Intension (niepublikowany manuskrypt).
3. Logic and Language;Evert W. Beth,1962
4. Znak ≡ użyty jest w schematach definicyjnych D1 i D2 jako wieloznaczny; sens jego zależy od kategorii syntaktycznej wyrażeń α, β. Gdy α i β są zdaniami, α≡β wyraża ich materialną równoważność; gdy α i β są stałymi indywiduowymi, α≡β wyraża identyczność odpowiednich indywiduów; gdy α i β są jednoargumentowymi predykatami, α≡β stanowi skrót zdania (x[α(x)⇄β(x)], itd.
5. Inną interesującą ilustracją zastosowań tej koncepcji jest wykorzystanie jej do sfoimułowania warunków prawcmocności asercji nierzeczywistych okresów warunkowych: por.E. W. Beth, op. cit.Extension and Intension, druk. w zbiorzeLogic and Language, D. Reidel Publishing Company, Dordrecht, Holland 1962, s. 67.