On a synonymy relation for extensional first order theories. II: A sufficient criterion for non synonymy. Applications

zbMath0538.03025MaRDI QIDQ793007

Aldo Bressan, Cinzia Bonotto

Publication date: 1983

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_1983__70__13_0

zbMATH Keywords

interpretationssynonymy

Mathematics Subject Classification ID

General logic (03B99)

Related Items (1)

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

Cites Work

• On a synonymy relation for extensional first order theories. I: A notion of synonymy
• Unnamed Item

This page was built for publication: On a synonymy relation for extensional first order theories. II: A sufficient criterion for non synonymy. Applications