A theory of restricted quantification I

DOI10.2307/2964055zbMATH Open0081.24502OpenAlexW2150008221MaRDI QIDQ3249762FDOQ3249762

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

• Title not available (Why is that?)
• 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)