scientific article; zbMATH DE number 3241262

MaRDI QIDQ5528633zbMATH OpenFDO

Authors Paul C. Gilmore

Publication date 1958

Full work available at URL http://www.numdam.org/item?id=CM_1956-1958__13__277_0, https://eudml.org/doc/88842

zbMATH Keywords

mathematical logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites work

• Die Zulässigkeit der Behandlung mehrsortiger Theorien mittels der üblichen einsortigen Prädikatenlogik
• Logic of many-sorted theories

Cited in

(5)

• An order-sorted logic for knowledge representation systems
• Investigations in many-sorted quantor logic
• A mechanical solution of Schubert's steamroller by many-sorted resolution
• Many-sorted equivalence of shiny and strongly polite theories
• scientific article; zbMATH DE number 58733 (Why is no real title available?)

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 Q5528633)