A theory of restricted quantification I

DOI10.2307/2964055zbMath0081.24502OpenAlexW2150008221MaRDI QIDQ3249762

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

Related Items (5)

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

Cites Work

• Unnamed Item
• Über deduktive Theorien mit mehreren Sorten von Grunddingen
• Die Zulässigkeit der Behandlung mehrsortiger Theorien mittels der üblichen einsortigen Prädikatenlogik
• Logic of many-sorted theories
• Quantification and the empty domain

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