海倫娜·拉西奧娃
海倫娜·拉西奧瓦（，）是一名波蘭數學家。她的研究領域涵蓋數學基礎與代數邏輯。 早年生活 拉西奧娃於1917年6月20日出生於維也納，父母皆為波蘭人。1918年波蘭重獲獨立後，全家便定居華沙。海倫娜的父親是一名鐵路專家。她展現出多方面的才能與興趣，從音樂到企業管理，以及她最熱衷的數學。 1938年，那時並非進入大學的理想時機。拉西奧娃不得不中斷學業，因為1939年後在波蘭已無法接受法律教育。許多人逃離了這個國家，或者至少逃離了大城市——這…
标签：#波兰逻辑学家
共 3 篇文章
斯坦尼斯瓦夫·亚希科夫斯基
斯坦尼斯瓦夫·亚希科夫斯基（波兰语：，），波兰逻辑学家。 生平 他是扬·卢卡西维茨的學生，曾擔任托伦校長。他在证明论和语义学方面作出过重要贡献。
扬·武卡谢维奇
扬·武卡谢维奇（，，；又译卢卡西维茨）是一名波蘭邏輯學家和哲學家，以波蘭表示法和武卡谢维奇逻辑而知名。他的研究集中於哲學邏輯、數理邏輯和邏輯史。他對傳統命題邏輯、無矛盾律和排中律進行創新性思考，提出了最早的多值邏輯體系之一。當代對亞里士多德邏輯的研究也以武卡谢维奇的創新著作為基礎，這些著作將現代邏輯的方法應用於亞里士多德對偶邏輯的形式化。 1970年代初，和發表了一系列論文，為武卡谢维奇方法注入了新的活力，羅賓·史密斯（Robin Sm…