武卡謝維奇三值代數（Lukasiewicz trivalent algebra）是1993年公布的數學名詞。
基本介紹
- 中文名：武卡謝維奇三值代數
- 外文名：Lukasiewicz trivalent algebra
- 所屬學科：數學
- 公布時間：1993年
公布時間,出處,
公布時間
1993年，經全國科學技術名詞審定委員會審定發布。
出處
《數學名詞》第一版。
武卡謝維奇三值代數
相關詞條
- 武卡謝維奇三值代數
武卡謝維奇三值代數（Lukasiewicz trivalent algebra）是1993年公布的數學名詞。公布時間1993年，經全國科學技術名詞審定委員會審定發布。出處《數學名詞》第一版。1...
- 三值邏輯關係
波蘭邏輯學家和哲學家揚·武卡謝維奇(Jan ?ukasiewicz)在1920年開始建立了多值邏輯系統，使用了第三值"可能"來處理亞里士多德的海戰悖論：「明日有海戰，既不是真的，也不是假的，而是真假未定的」。同時，美國數學家 Emil L. Post 在(1921年)也介入了對額外的真實程度的公式化。哥德爾在1932年證明了直覺邏輯...
- MV-代數
Chang 發明 MV-代數來研究波蘭數學家揚·武卡謝維奇（Jan Łukasiewicz）在 1920 年介入的多值邏輯。Chang 的完備定理(1958, 1959) 聲稱任何在 [0,1] 區間成立的 MV-代數等式也在所有 MV-代數中成立。通過這個定理，證明了無窮值的武卡謝維奇邏輯可以被 MV-代數所刻畫。後來同樣適用於模糊邏輯。這類似於在 {...
- 向量邏輯
多值邏輯的學說體系由多位研究者協力發展（尤其是波蘭數學家揚·武卡謝維奇）。它容許涉及不確定值的邏輯運算。在二值向量邏輯範疇中，不確定值可由 s 、n 兩個基本真值以機率比重混合而成。假設存在一個不確定值（其中 ）。向量邏輯的多值性可以由對這種不確定值的運算獲得證明。向量輸出值的標量投影 多值向...
- 多值邏輯悖論
多值邏輯悖論(multivalued logical paradox) 一個邏輯悖論.它是莫紹撰於1954年提出的一種多值邏輯悖論.對多值邏輯的研究,開始於20世紀20年代的波蘭數學家、邏輯學家武卡謝維奇 (-Y ukaszewicz, J.)和波茨娃爾(}o}eBap,B.),邏輯學家們隨後就建立了種種協調而完全的多值邏輯演算系統.關於多值邏輯演算系統的...
- 模糊邏輯
Chang 發明 MV-代數來研究波蘭數學家揚·武卡謝維奇（Jan ?ukasiewicz）在 1920 年介入的多值邏輯。Chang 的完備定理(1958, 1959) 聲稱任何在 [0,1] 區間成立的 MV-代數等式也在所有 MV-代數中成立。通過這個定理，證明了無窮值的武卡謝維奇邏輯可以被 MV-代數所刻畫。後來同樣適用於模糊邏輯。這類似於在 {0...
- 多值邏輯
多值邏輯的研究，始於20世紀20年代波蘭的J.武卡謝維奇和E.L.波斯特的工作。武卡謝維奇為了解決亞里士多德關於未來偶然性的問題，提出了三值邏輯。他認為命題：“明年12月21日我將在華沙”，在說這句話時既非真又不假，而只是可能。所以，這樣一類命題就可以取三個值：真、假和可能。波斯特與武卡謝維奇不同，他...
- 波蘭表示法
波蘭表示法（Polish notation，或波蘭記法），是一種邏輯、算術和代數表示方法，其特點是操作符置於運算元的前面，因此也稱做前綴表示法。如果操作符的元數（arity）是固定的，則語法上不需要括弧仍然能被無歧義地解析。波蘭記法是波蘭數學家揚·武卡謝維奇1920年代引入的，用於簡化命題邏輯。揚·武卡謝維奇本人提到：...
- 自然演繹(數理邏輯)
在1926年由揚·武卡謝維奇在波蘭發起的一系列研討會提倡一種對邏輯的更加自然處理，斯坦尼斯瓦夫·亞希科夫斯基做了定義更自然的演繹的最早嘗試，首先在1929年使用了一種圖表表示法，並在1934年和1935年的一序列論文中更改了他的提議。但是他的提議沒有流行起來。現代形式的自然演繹是由德國數學家格哈德·根岑於1935年...
- 無窮值邏輯悖論
的子集，分別記為乏，，乏:等.張辰中和芬斯特分別證明了武卡謝維奇連續值邏輯系統L (或帶等號的L)與上述G1 G2 G3等之間的相容性. 而對L(或Li)與乏。是否相容，則仍無結果.但應指出，即使證明了L或L，與乏。是相容的，也不表明再在萬。套用 之外配以其他集合論公理後仍能相容.張辰中就曾證明在G2 f ...
- 精確性經典數學基礎
又各有優缺點，但由於ZFC系統顯得較為直觀自然，因而被普遍採用.3. 20世紀30年代，波茨娃爾(FoHenap,B.)曾想在集合論中保留概括原則，立足於放棄配套於集合論的二值邏輯，代之以發展多值邏輯而開闢避免悖論的另一途徑.但在1954年，莫紹撰證明了波蘭數學家、邏輯學家武卡謝維奇(ukaszewicz, J.)有窮 ...
- 逆波蘭表示法
逆波蘭表示法，1920年波蘭數學家揚·武卡謝維奇引入的數學表達式方式。簡介 逆波蘭表示法（Reverse Polish notation，RPN，或逆波蘭記法），是一種是由波蘭數學家揚·武卡謝維奇1920年引入的數學表達式方式，在逆波蘭記法中，所有操作符置於運算元的後面，因此也被稱為後綴表示法。逆波蘭記法不需要括弧來標識操作符的...
- 阿爾弗雷德·塔斯基
1919年，波蘭從沙俄的統治下獨立之後，華沙大學在揚·武卡謝維奇、Stanisław Leśniewski和瓦茨瓦夫·謝爾賓斯基的領導下迅速成為世界領先的邏輯學、數學基礎和數學哲學研究機構。Leśniewski 在一次偶然的機會中結識了塔斯基並發現了他的數學天賦，因此說服他為數學放棄生物學。此後塔斯基修習了武卡謝維奇、謝爾賓斯基、...
- jan
jan，英語單詞，主要用作為名詞，譯為“ 一月（january）”，用作名詞譯為“ (Jan)人名；(阿富、巴基、印)賈恩；(德、荷、丹、挪、捷、波、俄、瑞典、芬、塞)揚；(英)簡；(法、羅)讓”。短語搭配 Jan Koller 揚·科勒 ; 科勒爾 ; 揚科勒 Jan Troell 揚·特洛爾 Jan Łukasiewicz 揚·武卡謝維奇 雙...
- 俄羅斯音樂
其次是取材於俄羅斯童話和民間傳說的歌劇:有的表現了古代俄羅斯人民的風俗、倫理和志向,如里姆斯基-科薩科夫的《雪姑娘》和《薩德科》等;有的以寓言方式揭露黑暗社會現實,影射沙皇專制,如里姆斯基-科薩科夫的《不死的卡謝》和《金雞》等。再就是描寫風土人情充滿民間生活氣息的喜歌劇,如穆索爾斯基的《索羅欽斯克集市》...
- 維也納大學
伊格納齊·武卡謝維奇,現代煉油技術發明人。 賈科莫·恰米奇安,太陽能板之父。 安東·韋伯恩,作曲家,對20世紀現代音樂具有重要影響。 西奧多·赫茨爾,錫安主義創建人、被視為現代以色列國父。 馬薩里克,捷克斯洛伐克首任總統、國父。 瓦爾德海姆,前聯合國秘書長、奧地利共和國前任總統。 西諾瓦茨,歷史學家、奧地利前總...
