[FOM] Origins of the double turnstile
tennant.9 at osu.edu
Thu Feb 2 20:19:14 EST 2017
Professor Kochen's 1961 paper in the Annals of Mathematics uses the double turnstile for the relation between a model and a sentence that it makes true. But I thought the historical query concerned that other use of the double turnstile, to represent a set of sentences logically implying a sentence.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the FOM