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

zbMath0525.03019MaRDI QIDQ594088

Cinzia Bonotto, Aldo Bressan

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__69__63_0

zbMATH Keywords

extensional first order theorysynonymy relation

Mathematics Subject Classification ID

General logic (03B99)

Related Items (2)

On a synonymy relation for extensional first order theories. II: A sufficient criterion for non synonymy. Applications ⋮ On a synonymy relation for extensional first order theories. III: A necessary and sufficient condition for synonymy

Cites Work

• The intentions of intentionality and other new models for modalities
• The independence of connectives
• Variable Binding Term Operators
• Variable binding term operators in \(\lambda\)-calculus
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On a synonymy relation for extensional first order theories. I: A notion of synonymy