On a synonymy relation for extensional 1st order theories. Part 1. A notion of synonymy
Bonotto, C. ; Bressan, A.
Rendiconti del Seminario Matematico della Università di Padova, Tome 70 (1983), p. 63-76 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU) 
@article{RSMUP_1983__69__63_0,
     author = {Bonotto, C. and Bressan, Aldo},
     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},
     volume = {70},
     year = {1983},
     pages = {63-76},
     mrnumber = {716986},
     zbl = {0525.03019},
     language = {en},
     url = {http://dml.mathdoc.fr/item/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 70 (1983) pp. 63-76. http://gdmltest.u-ga.fr/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 0221.02041

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

[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 0576.03002

[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 0525.03005

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

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

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

[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 307874 | Zbl 0239.02007

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

[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 0424.03018

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

[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 164867 | Zbl 0192.01901

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

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

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