Predicate calculus with free quantifier variables
From MaRDI portal
Publication:5582303
DOI10.2307/2270973zbMath0188.31403MaRDI QIDQ5582303
Richmond H. Thomason, D. Randolph Jun. Johnson
Publication date: 1969
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2270973
03-XX: Mathematical logic and foundations
Related Items
ON THE GENERAL INTERPRETATION OF FIRST-ORDER QUANTIFIERS, Life on the Range: Quine’s Thesis and Semantic Indeterminacy