On a synonymy relation for extensional 1st order theories. Part 1. A notion of synonymy

 Access to full text

 Full (PDF)

1. [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. Zbl0221.02041
2. [2] K.L. De Bouvère, Logical synonymity, Indag. Math., 27 (1965), pp. 622-629. Zbl0221.02042MR184845
3. [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. Zbl0576.03002
4. [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. Zbl0525.03005
5. [5] M.W. Bunder, Variable binding term operators in λ-calculus, Notre Dame J. Formal Logic, 20 (1979), no. 4, pp. 876-878. Zbl0407.03022
6. [6] R. Carnap, Introduction to symbolic logic and its applications, Dover Publ., New York, 1958. Zbl0083.00104MR103814
7. [7] R. Carnap, Meaning and necessity, Chicago, University of Chicago Press, 1956. Zbl0034.00106
8. [8] R. Carnap, Meaning and synonymy in natural languages, Phil. Studies, 1955. 
9. [9] A. Carsetti, Logica linguaggio semantica, Palumbo, Palermo, 1976. 
10. [10] J. Corcoran - J. Herring, Notes on a semantical analysis of variable binding term operators, Logique et Analyse, 55 (1971), pp. 644-657. Zbl0239.02007MR307874
11. [11] J. Corcoran - W. Hatcher - J. Herring, Variable binding term operators, Z. Math. Logik Grundlagen Math., 18 (1972), pp. 177-182. Zbl0257.02013MR305970
12. [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. Zbl0424.03018
13. [13] W.S. Hatcher, Foundations of Mathematics, Saunders, Philadelphia, 1968. Zbl0191.28205MR237320
14. [14] J. Hintikka, The intentions of intentionality, Dordrecht, 1975. Zbl0323.02029
15. [15] E. Mendelson, Introduction to mathematical logic, VanNostrand - Rein-hold Co., New York, 1964. Zbl0192.01901MR164867
16. [16] R. Montague, Formal philosophy, New Haven, 1974. 
17. [17] J.B. Rosser, Logic for mathematicians, New York, 1953. Zbl0068.00707MR54531
18. [18] T. Smiley, The independence of the connectives, Journal Symb. Logic, 27 (1962), pp. 426-436. Zbl0139.00601MR172784

1. C. Bonotto, A. Bressan, On a synonymy relation for extensional 1st order theories. Part II. A sufficient criterion for non synonymy. Applications
2. C. Bonotto, A. Bressan, On a synonymy relation for extensional 1st order theories. Part III. A necessary and sufficient condition for synonymy