Predicate calculus with free quantifier variables

DOI10.2307/2270973zbMath0188.31403OpenAlexW1967273745MaRDI 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

zbMATH Keywords

general logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (2)

Life on the Range: Quine’s Thesis and Semantic Indeterminacy ⋮ ON THE GENERAL INTERPRETATION OF FIRST-ORDER QUANTIFIERS

This page was built for publication: Predicate calculus with free quantifier variables