scientific article; zbMATH DE number 3349804

zbMATH Open0221.02042MaRDI QIDQ5625152FDOQ5625152

Karel Louis de Bouvère

Publication date: 1968

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Interpolation, preservation, definability (03C40)

Cited In (3)

• Synonymous theories and knowledge representations in answer set programming
• On a synonymy relation for extensional first order theories. I: A notion of synonymy
• Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5625152)