scientific article; zbMATH DE number 3241262

zbMATH Open0149.24502MaRDI QIDQ5528633FDOQ5528633

Authors: Paul C. Gilmore 

Publication date: 1958

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

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

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
• Many-sorted equivalence of shiny and strongly polite theories
• A mechanical solution of Schubert's steamroller by many-sorted resolution
• Title not available (Why is that?)
• Investigations in many-sorted quantor logic

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)