On a synonymy relation for extensional 1st order theories. Part 1. A notion of synonymy
Rendiconti del Seminario Matematico della Università di Padova, Tome 69 (1983), pp. 63-76.
partie suivante On a synonymy relation for extensional 1st order theories. Part II. A sufficient criterion for non synonymy. Applications 
@article{RSMUP_1983__69__63_0,
     author = {Bonotto, C. and Bressan, A.},
     title = {On a synonymy relation for extensional 1st order theories. {Part} 1. {A} notion of synonymy},
     journal = {Rendiconti del Seminario Matematico della Universit\`a di Padova},
     pages = {63--76},
     publisher = {Seminario Matematico of the University of Padua},
     volume = {69},
     year = {1983},
     mrnumber = {716986},
     zbl = {0525.03019},
     language = {en},
     url = {http://archive.numdam.org/item/RSMUP_1983__69__63_0/}
}
TY  - JOUR
AU  - Bonotto, C.
AU  - Bressan, A.
TI  - On a synonymy relation for extensional 1st order theories. Part 1. A notion of synonymy
JO  - Rendiconti del Seminario Matematico della Università di Padova
PY  - 1983
SP  - 63
EP  - 76
VL  - 69
PB  - Seminario Matematico of the University of Padua
UR  - http://archive.numdam.org/item/RSMUP_1983__69__63_0/
LA  - en
ID  - RSMUP_1983__69__63_0
ER  - 
%0 Journal Article
%A Bonotto, C.
%A Bressan, A.
%T On a synonymy relation for extensional 1st order theories. Part 1. A notion of synonymy
%J Rendiconti del Seminario Matematico della Università di Padova
%D 1983
%P 63-76
%V 69
%I Seminario Matematico of the University of Padua
%U http://archive.numdam.org/item/RSMUP_1983__69__63_0/
%G en
%F RSMUP_1983__69__63_0
Bonotto, C.; Bressan, A. On a synonymy relation for extensional 1st order theories. Part 1. A notion of synonymy. Rendiconti del Seminario Matematico della Università di Padova, Tome 69 (1983), pp. 63-76. http://archive.numdam.org/item/RSMUP_1983__69__63_0/

[1] K.L. De Bouvère, Synonymous theories, Proceedings of the International Symposium on the theory of models, Berkeley, 1963, North-Holland Publ. Co., Amsterdam, 1965, pp. 402-406. | Zbl

[2] K.L. De Bouvère, Logical synonymity, Indag. Math., 27 (1965), pp. 622-629. | MR | Zbl

[3] A. Bressan, On general operators binding variables in an extensional first order theory, being printed on Atti Istituto Veneto di Scienze, Lettere ed Arti. | Zbl

[4] A. Bressan - A. Zanardo, General operators binding variables in the interpreted modal calculus MCv, to be printed in Atti Accad. Naz. Lincei Rend. Cl. Sci. Fis. Mat. Natur. | Zbl

[5] M.W. Bunder, Variable binding term operators in λ-calculus, Notre Dame J. Formal Logic, 20 (1979), no. 4, pp. 876-878. | Zbl

[6] R. Carnap, Introduction to symbolic logic and its applications, Dover Publ., New York, 1958. | MR | Zbl

[7] R. Carnap, Meaning and necessity, Chicago, University of Chicago Press, 1956. | Zbl

[8] R. Carnap, Meaning and synonymy in natural languages, Phil. Studies, 1955.

[9] A. Carsetti, Logica linguaggio semantica, Palumbo, Palermo, 1976.

[10] J. Corcoran - J. Herring, Notes on a semantical analysis of variable binding term operators, Logique et Analyse, 55 (1971), pp. 644-657. | MR | Zbl

[11] J. Corcoran - W. Hatcher - J. Herring, Variable binding term operators, Z. Math. Logik Grundlagen Math., 18 (1972), pp. 177-182. | MR | Zbl

[12] N.C.A. Da Costa, A model theoretical approach to variable binding term operators, Proc. Fourth Latin-American Symposium Math. Logic, Santiago, 1978, North-Holland Publ. Co., Amsterdam, 1980, pp. 133-162. | Zbl

[13] W.S. Hatcher, Foundations of Mathematics, Saunders, Philadelphia, 1968. | MR | Zbl

[14] J. Hintikka, The intentions of intentionality, Dordrecht, 1975.

[15] E. Mendelson, Introduction to mathematical logic, Van Nostrand - Rein-hold Co., New York, 1964. | MR | Zbl

[16] R. Montague, Formal philosophy, New Haven, 1974.

[17] J.B. Rosser, Logic for mathematicians, New York, 1953. | MR | Zbl

[18] T. Smiley, The independence of the connectives, Journal Symb. Logic, 27 (1962), pp. 426-436. | MR | Zbl