@article{RSMUP_1984__71__1_0, author = {Bonotto, C. and Bressan, A.}, title = {On a synonymy relation for extensional 1st order theories. {Part} {III.} {A} necessary and sufficient condition for synonymy}, journal = {Rendiconti del Seminario Matematico della Universit\`a di Padova}, pages = {1--13}, publisher = {Seminario Matematico of the University of Padua}, volume = {71}, year = {1984}, mrnumber = {769426}, zbl = {0553.03019}, language = {en}, url = {http://www.numdam.org/item/RSMUP_1984__71__1_0/} }
TY - JOUR AU - Bonotto, C. AU - Bressan, A. TI - On a synonymy relation for extensional 1st order theories. Part III. A necessary and sufficient condition for synonymy JO - Rendiconti del Seminario Matematico della Università di Padova PY - 1984 SP - 1 EP - 13 VL - 71 PB - Seminario Matematico of the University of Padua UR - http://www.numdam.org/item/RSMUP_1984__71__1_0/ LA - en ID - RSMUP_1984__71__1_0 ER -
%0 Journal Article %A Bonotto, C. %A Bressan, A. %T On a synonymy relation for extensional 1st order theories. Part III. A necessary and sufficient condition for synonymy %J Rendiconti del Seminario Matematico della Università di Padova %D 1984 %P 1-13 %V 71 %I Seminario Matematico of the University of Padua %U http://www.numdam.org/item/RSMUP_1984__71__1_0/ %G en %F RSMUP_1984__71__1_0
Bonotto, C.; Bressan, A. On a synonymy relation for extensional 1st order theories. Part III. A necessary and sufficient condition for synonymy. Rendiconti del Seminario Matematico della Università di Padova, Volume 71 (1984), pp. 1-13. http://www.numdam.org/item/RSMUP_1984__71__1_0/
[1] On a synonymy relation for extensional 1st order theories, Part I: A notion of synonymy, Rend. Sem. Mat. Univ. Padova, 69 (1982), pp. 63-76. | Numdam | MR | Zbl
- ,[2] On a synonymy relation for extensional 1st order theories, Part II: A sufficient criterion for non-synonymy. Applications, Rend. Sem. Mat. Univ. Padova, 70 (1983), pp. 13-19. | Numdam | MR | Zbl
- ,[3] On general operators binding variables in an extensional first order theory, Atti Istituto Veneto di Scienze Lettere ed Arti. Tomo CXL (1982), pp. 115-130. | MR | Zbl
,[4] Introduction to mathematical logic, Van Nostrand - Rein-hold Co., New York, 1964. | MR | Zbl
,