相關詞條
- 揚·武卡謝維奇
人物生平揚·武卡謝維奇(波蘭語:Jan Łukasiewicz,1878年12月21日烏克蘭利沃夫 - 1956年2月13日愛爾蘭都柏林),波蘭數學家,主要致力於數理邏輯的研究。研究成果著名...
- MV-代數
Chang 發明 MV-代數來研究波蘭數學家揚·武卡謝維奇(Jan Łukasiewicz)在 1920 年介入的多值邏輯。Chang 的完備定理(1958, 1959) 聲稱任何在 [0,1] 區間成立...
- 逆波蘭表示法
逆波蘭表示法(Reverse Polish notation,RPN,或逆波蘭記法),是一種是由波蘭數學家揚·武卡謝維奇1920年引入的數學表達式方式,在逆波蘭記法中,所有操作符置於運算元...
- 模糊邏輯
Chang 發明 MV-代數來研究波蘭數學家揚·武卡謝維奇(Jan ?ukasiewicz)在 1920 年介入的多值邏輯。Chang 的完備定理(1958, 1959) 聲稱任何在 [0,1] 區間成立...
- 波蘭表示法
如果操作符的元數(arity)是固定的,則語法上不需要括弧仍然能被無歧義地解析。波蘭記法是波蘭數學家揚·武卡謝維奇1920年代引入的,用於簡化命題邏輯。...
- 阿爾弗雷德·塔斯基
1919年波蘭從沙俄的統治下獨立之後,華沙大學在揚·武卡謝維奇、Stanisław Leśniewski和瓦茨瓦夫·謝爾賓斯基的領導下迅速成為世界領先的邏輯學、數學基礎和數學哲學...
- 向量邏輯
多值邏輯的學說體系由多位研究者協力發展(尤其是波蘭數學家揚·武卡謝維奇)。它容許涉及不確定值的邏輯運算。在二值向量邏輯範疇中,不確定值可由 s 、n 兩個...
- 前綴表達式
前綴表達式就是前序表達式,是一種是由波蘭數學家揚·武卡謝維奇1920年引入的數學表達式方式。例如,- 1 + 2 3,它等價於1-(2+3)。...
- 三值邏輯關係
波蘭邏輯學家和哲學家揚·武卡謝維奇(Jan ?ukasiewicz)在1920年開始建立了多值邏輯系統,使用了第三值"可能"來處理亞里士多德的海戰悖論:「明日有海戰,既不是真的...
- 自然演繹
在1926年由揚·武卡謝維奇在波蘭發起的一系列研討會提倡一種對邏輯的更加自然處理,斯坦尼斯瓦夫·亞希科夫斯基做了定義更自然的演繹的最早嘗試,首先在1929年使用了一...