scientific article; zbMATH DE number 3349804

MaRDI QIDQ5625152zbMATH OpenFDO

Authors Karel Louis de Bouvère

Publication date 1968

Mathematics Subject Classification ID

Interpolation, preservation, definability (03C40)

Cited in

(4)

• Synonymous theories and knowledge representations in answer set programming
• On a synonymy relation for extensional first order theories. I: A notion of synonymy
• Quine's underdetermination thesis
• 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)