Re: on a hard to find paper by Sobociński

Sara L. Uckelman s.l.uckelman at durham.ac.uk
Sun Nov 21 07:24:58 EST 2021


Roughly this time last year I put out a similar request to all my 
contacts on FB and twitter, with no luck.  [Every year, my students ask 
why system T is called "T".  Hughes & Cresswell cite Sobociński as the 
first time Feys' system 't' was called "T", and I really want to know 
the details!)

If you get a copy, I would love to have it too!

Cheers,
-Sara

On 11/20/21 22:52, Joao Marcos wrote:
> [EXTERNAL EMAIL]
> 
> This is often cited as a foundational paper in the field of
> many-valued logics, but it seems rather inaccessible:
> 
> Bolesław Sobociński. Axiomatization of a partial system of three-value
> calculus of propositions. The Journal of Computing Systems (St. Paul),
> vol. 1 no. 1 (1952), pp. 23–55.
> 
> Would any of the colleagues that happen to have a copy of it be so
> kind as to share it with us?
> 
> Yours sincerely,
> Joao (and Umberto)
> 


-- 
Dr. Sara L. Uckelman
Department of Philosophy
Durham University
https://sluckelman.webspace.durham.ac.uk/

The Dictionary of Medieval Names from European Sources
http://dmnes.org/



More information about the FOM mailing list