On a synonymy relation for extensional first order theories. III: A necessary and sufficient condition for synonymy

zbMath0553.03019MaRDI QIDQ801898

Aldo Bressan, Cinzia Bonotto

Publication date: 1984

Published in: Rendiconti del Seminario Matematico della Università di Padova (Search for Journal in Brave)

Full work available at URL: http://www.numdam.org/item?id=RSMUP_1984__71__1_0

zbMATH Keywords

semioticsaxiomatic theorysynonymyextensional languagenon-synonymy

Mathematics Subject Classification ID

General logic (03B99)

Cites Work

• On a synonymy relation for extensional first order theories. I: A notion of synonymy
• On a synonymy relation for extensional first order theories. II: A sufficient criterion for non synonymy. Applications
• Unnamed Item
• Unnamed Item

This page was built for publication: On a synonymy relation for extensional first order theories. III: A necessary and sufficient condition for synonymy