×

zbMATH — the first resource for mathematics

On a synonymy relation for extensional first order theories. I: A notion of synonymy. (English) Zbl 0525.03019

MSC:
03B99 General logic
PDF BibTeX XML Cite
Full Text: Numdam EuDML
References:
[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 · Zbl 0221.02041
[2] K.L. De Bouvère , Logical synonymity , Indag. Math. , 27 ( 1965 ), pp. 622 - 629 . MR 184845 | Zbl 0221.02042 · 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 · 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 · Zbl 0525.03005
[5] M.W. Bunder , Variable binding term operators in \lambda -calculus , Notre Dame J. Formal Logic , 20 ( 1979 ), no. 4 , pp. 876 - 878 . Article | Zbl 0407.03022 · Zbl 0407.03022 · doi:10.1305/ndjfl/1093882809 · minidml.mathdoc.fr
[6] R. Carnap , Introduction to symbolic logic and its applications , Dover Publ ., New York , 1958 . MR 103814 | Zbl 0083.00104 · Zbl 0083.00104
[7] R. Carnap , Meaning and necessity , Chicago , University of Chicago Press , 1956 . Zbl 0034.00106 · Zbl 0034.00106
[8] R. Carnap , Meaning and synonymy in natural languages , Phil. Studies , 1955 . · Zbl 0938.03515
[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 · 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 · Zbl 0257.02013 · doi:10.1002/malq.19720181202
[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 · Zbl 0424.03018
[13] W.S. Hatcher , Foundations of Mathematics , Saunders , Philadelphia , 1968 . MR 237320 | Zbl 0191.28205 · Zbl 0191.28205
[14] J. Hintikka , The intentions of intentionality , Dordrecht , 1975 . · Zbl 0323.02029
[15] E. Mendelson , Introduction to mathematical logic, Van Nostrand - Rein-hold Co., New York , 1964 . MR 164867 | Zbl 0192.01901 · 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 · Zbl 0068.00707
[18] T. Smiley , The independence of the connectives , Journal Symb. Logic , 27 ( 1962 ), pp. 426 - 436 . MR 172784 | Zbl 0139.00601 · Zbl 0139.00601 · doi:10.2307/2964550
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.