Boles&;aw Soboci&;ski

Boles&;aw Soboci&;ski (* 1906, †  1980) gehörte sowohl zur Lwow-Warschau-Schule als auch zum Krakower Kreis.

Er lieferte eine Theorie der Deduktion und arbeitete zur Modallogik.

Von ihm stammt die Modallogik K4 (Soboci&;ski). Zudem zeigte er, dass die Modallogik T von R. Feys und M by G. H. von Wright äquivalent sind.

Online-Texte

• Pledger Lemma and the Modal System S3° (PDF, engl.)

Weblinks

• Encyclopedia PWN (poln.)
• Bild von Soboc&;ski
• System K4 (Soboc&;ski) (engl.)
• System T (engl.)