𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Theory of Restricted Quantification II

✍ Scribed by Theodore Hailperin


Book ID
111690789
Publisher
Association for Symbolic Logic
Year
1957
Tongue
English
Weight
484 KB
Volume
22
Category
Article
ISSN
0022-4812

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Relevant Restricted Quantification
✍ JC Beall; Ross T. Brady; A. P. Hazen; Graham Priest; Greg Restall πŸ“‚ Article πŸ“… 2006 πŸ› Springer Netherlands 🌐 English βš– 325 KB
Fregean Quantification Theory
✍ Kripke, Saul A. πŸ“‚ Article πŸ“… 2013 πŸ› Springer Netherlands 🌐 English βš– 101 KB
THE DECISION PROBLEM FOR RESTRICTED UNIV
✍ Franco Parlamento; Alberto Policriti πŸ“‚ Article πŸ“… 1992 πŸ› John Wiley and Sons 🌐 English βš– 775 KB

## Abstract The still unsettled decision problem for the restricted purely universal formulae ((βˆ€)~0~‐formulae) of the first order set‐theoretic language based over =, ∈ is discussed in relation with the adoption or rejection of the axiom of foundation. Assuming the axiom of foundation, the related