On a synonymy relation for extensional 1st order theories. Part III. A necessary and sufficient condition for synonymy

C. Bonotto; A. Bressan

Rendiconti del Seminario Matematico della Università di Padova (1984)

  • Volume: 71, page 1-13
  • ISSN: 0041-8994

How to cite

top

Bonotto, C., and 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 71 (1984): 1-13. <http://eudml.org/doc/107933>.

@article{Bonotto1984,
author = {Bonotto, C., Bressan, A.},
journal = {Rendiconti del Seminario Matematico della Università di Padova},
keywords = {semiotics; extensional language; synonymy; axiomatic theory; non-synonymy},
language = {eng},
pages = {1-13},
publisher = {Seminario Matematico of the University of Padua},
title = {On a synonymy relation for extensional 1st order theories. Part III. A necessary and sufficient condition for synonymy},
url = {http://eudml.org/doc/107933},
volume = {71},
year = {1984},
}

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
PB - Seminario Matematico of the University of Padua
VL - 71
SP - 1
EP - 13
LA - eng
KW - semiotics; extensional language; synonymy; axiomatic theory; non-synonymy
UR - http://eudml.org/doc/107933
ER -

References

top
  1. [1] C. Bonotto - A. Bressan, 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. Zbl0525.03019MR716986
  2. [2] C. Bonotto - A. Bressan, 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. Zbl0538.03025MR742106
  3. [3] A. Bressan, 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. Zbl0576.03002MR915662
  4. [4] E. Mendelson, Introduction to mathematical logic, Van Nostrand - Rein-hold Co., New York, 1964. Zbl0192.01901MR164867

NotesEmbed ?

top

You must be logged in to post comments.