A theory of restricted quantification I

DOI10.2307/2964055MaRDI QIDQ3249762zbMATH OpenOpenAlexFDO

Authors Theodore Hailperin

Publication date 1957

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2964055

zbMATH Keywords

philosophy and foundations of mathematics

Cites work

• scientific article; zbMATH DE number 3068529 (Why is no real title available?)
• Die Zulässigkeit der Behandlung mehrsortiger Theorien mittels der üblichen einsortigen Prädikatenlogik
• Logic of many-sorted theories
• Quantification and the empty domain
• Über deduktive Theorien mit mehreren Sorten von Grunddingen

Cited in

(5)

• An order-sorted logic for knowledge representation systems
• A mechanical solution of Schubert's steamroller by many-sorted resolution
• Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different
• A resolution principle for constrained logics
• Subject-predicate calculus free from existential import

This page was built for publication: A theory of restricted quantification I

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