Many-valued logic (original) (raw)
Una lògica polivalent és un sistema lògic que rebutja el principi del tercer exclòs de les lògiques bivalents i admet més valors de veritat que els tradicionals veritable i fals . Diferents lògiques plurivalentes poden admetre diferents quantitats de valors de veritat: des de tres, fins a infinit.
| Property | Value |
|---|---|
| dbo:abstract | Una lògica polivalent és un sistema lògic que rebutja el principi del tercer exclòs de les lògiques bivalents i admet més valors de veritat que els tradicionals veritable i fals . Diferents lògiques plurivalentes poden admetre diferents quantitats de valors de veritat: des de tres, fins a infinit. (ca) Plurvalora logiko estas sistemo de logiko kiu malakceptas la principon de la tria ekskludita de la duvaloraj logikoj kaj akceptas pli da veraj valoroj ol la tradiciaj vera kaj falsa. Diversaj plurvaloraj logikoj povas akcepti diferencajn kvantojn de veraj valoroj: el tri, ĝis infinito (ajna reela nombro inter 0 kaj 1). La plurvaloraj logikoj disvastiĝis speciale el la laboroj de la polaj filozofoj Jan Łukasiewicz kaj Emil Post kaj el iliaj rilatoj kun la kvantuma fiziko, sed estis eksponitaj jam antaŭe, kun diferencaj fokusoj, por Hegel, Hugh MacColl, Charles Sanders Peirce kaj Nikolai A. Vasiliev. Stephen Kleene prilaboris la vertabelojn por sistemo de trivalora logiko. Ekzemplo por ilustri la trivaloron en fiziko estis la paradokso de la kato de Schrödinger. (eo) Mehrwertige Logik ist ein Oberbegriff für alle logischen Systeme, die mehr als zwei Wahrheitswerte verwenden. Ausgangspunkt für die Entwicklung mehrwertiger Logiken war die erkenntnistheoretische Frage, ob dem Prinzip der Zweiwertigkeit außerlogische Wahrheit zukommt. Für Aussagen über die Zukunft stellt bereits Aristoteles diese Frage, indem er argumentiert, dass die Wahrheit einer Aussage wie „Morgen wird eine Seeschlacht stattfinden“ erst am Abend des morgigen Tages feststehen wird und dass sie bis zu diesem Zeitpunkt noch als unbestimmt und damit als kontingent möglich betrachtet werden muss. Die erste im modernen Sinn formalisierte mehrwertige Logik ist die im Jahre 1920 von Jan Łukasiewicz vorgestellte dreiwertige Logik L3. Ihre drei Wahrheitswerte interpretiert Łukasiewicz unter Berufung auf das Seeschlacht-Beispiel des Aristoteles als „wahr“, „falsch“ und – für zukünftige Aussagen, deren Wahrheit noch nicht feststeht – „(kontingent) möglich“. In neuerer Zeit haben mehrwertige Logiken im Bereich der Informatik hohe praktische Bedeutung gewonnen. Sie ermöglichen den Umgang mit der Tatsache, dass Datenbanken nicht nur eindeutig bestimmte, sondern auch unbestimmte, fehlende oder sogar widersprüchliche Informationen enthalten können. (de) Many-valued logic (also multi- or multiple-valued logic) refers to a propositional calculus in which there are more than two truth values. Traditionally, in Aristotle's logical calculus, there were only two possible values (i.e., "true" and "false") for any proposition. Classical two-valued logic may be extended to n-valued logic for n greater than 2. Those most popular in the literature are three-valued (e.g., Łukasiewicz's and Kleene's, which accept the values "true", "false", and "unknown"), four-valued, nine-valued, the finite-valued (finitely-many valued) with more than three values, and the infinite-valued (infinitely-many-valued), such as fuzzy logic and probability logic. (en) Una lógica plurivalente o lógica polivalente es un sistema lógico que rechaza el principio del tercero excluido de las lógicas bivalentes y admite más valores de verdad que los tradicionales verdadero y falso. Distintas lógicas plurivalentes pueden admitir distintas cantidades de valores de verdad: desde tres, hasta infinito (cualquier número real entre 0 y 1). (es) Les logiques polyvalentes (ou multivalentes, ou multivaluées) sont des alternatives à la logique classique aristotélicienne, bivalente, dans laquelle toute proposition doit être soit vraie soit fausse. Elles sont apparues à partir des années 1920, surtout à la suite des travaux du logicien polonais Jan Łukasiewicz.Elles sont principalement étudiées au niveau du seul calcul propositionnel et peu au niveau du calcul des prédicats. (fr) Le logiche polivalenti sono estensioni della logica classica in cui sono presenti più valori di verità rispetto ai canonici vero, falso e pertanto in esse non vale il principio del terzo escluso.Le prime logiche polivalenti furono proposte negli anni 1920 da Emil Post e da Jan Łukasiewicz e in esse erano presenti tre valori di verità: vero, falso, problematico. (it) 논리학에서 다치 논리는 두 개 이상의 진릿값이 있는 명제 논리이다. 전통적으로 아리스토텔레스의 논리 미적분학 에서는 모든 명제에 대해 두 가지 가능한 값(즉, "참"과 "거짓")만 있었다. 고전적인 이치 논리는 n 이 2보다 큰 경우 n 값 논리로 확장될 수 있다. 문헌에서 가장 인기 있는 것은 3치 (예: 우카시에비치 및 클레이니, "true", "false" 및 "unknown" 값을 허용함), 4치, 9치, 그리고 유한 치, 그리고 퍼지 논리 및 확률 논리와 같은 무한 치이다. (ko) 多値論理（たちろんり）とは、真理値の値を、いわゆる真偽値すなわち真と偽の2個だけでなく、3個あるいはそれ以上の多数の値とした論理体系で、非古典論理の一種である。 (ja) Meerwaardige logica (Multi-Valued Logic of MVL) is een verzamelnaam voor alle waarbij zinnen niet alleen maar "waar" of "onwaar" kunnen zijn, maar ook een andere waarheidswaarden kunnen hebben. De term is gerelateerd aan, maar te onderscheiden van, de modale logica. De Poolse logicus Jan Łukasiewicz kwam in 1920 voor het eerst met het idee in zijn artikel O logice trojwartosciowej, dat dus over zijn driewaardige logica ging. Latere voorbeelden van zulke systemen zijn Gödels interpretatie van de intuïtionistische logica, de en de moderne fuzzy logic. Een belangrijke aanleiding om een meerwaardige logica te ontwikkelen is het gegeven dat de natuurlijke taal het mogelijk maakt vele uitspraken te doen waarvan niet eenvoudig gezegd kan worden of ze waar of niet waar zijn, zoals: "De Keizer van België heeft een snor". De kent drie waarden, en is daarmee een van de meerwaardige logica's. De derde waarde zou vertaald kunnen worden met "niet-waar en niet-onwaar". Deze waarde impliceert bijvoorbeeld dat uit de constatering "de deur is niet dicht" niet de conclusie getrokken kan worden dat de deur open is. Met andere woorden: modus tollens is niet mogelijk binnen deze logica. (nl) Logika wielowartościowa – rodzaj rachunku zdań, w którym przyjmuje się więcej niż dwie wartości logiczne. Tradycyjny rachunek zdań jest dwuwartościowy – są w nim możliwe tylko dwie wartości logiczne – prawda albo fałsz (co odpowiada podstawowej intuicji związanej z prawdziwością wypowiedzi). Jednakże klasyczna dwuwartościowość jest tylko jedną z możliwości zakresu wartości logicznych. Możliwe są logiki, w których istnieją inne wartości logiczne, lub nawet takie, w których występują więcej niż dwie wartości. W klasycznym ujęciu logiki zdanie może przyjmować alternatywnie jedną z dwóch wartości – „prawda” albo „fałsz”. Jeżeli zdanie nie posiada jednej z tych właściwości, to automatycznie posiada drugą. Jest to treścią prawa wyłączonego środka. Należy zauważyć, że istotą rachunku zdań są takie przekształcenia zdań, które zachowują dla nich pewne własności. W klasycznej logice taką własnością jest „prawda”. W poprawnym rozumowaniu zdanie ostatecznie otrzymane na drodze przekształceń zdania prawdziwego, zachowujących prawdziwość, także jest prawdziwe. Jednak „prawdziwość” może być zastąpione inną ideą. Na przykład w logice intuicjonistycznej jest nią „uzasadnienie”. Zdanie może wtedy posiadać jedną z dwóch cech: może być „uzasadnione”, bądź nie. Istotną różnicą między „prawdą” a „uzasadnieniem” jest to, że dla tego ostatniego nie zachodzi prawo wyłączonego środka: zdanie, które nie jest nieuzasadnione, niekoniecznie musi być uzasadnione. W takim przypadku jedynie nie zostało udowodnione jego uzasadnienie. Oznacza to, że można udowodnić, że P jest uzasadnione, że P nie jest uzasadnione bądź nie można dowieść żadnego z powyższych. Poprawne rozumowanie zachowuje uzasadnienie zdań, więc zdanie wywiedzione z uzasadnionego zdania jest wciąż uzasadnione. Jednak istnieją dowody, które wymagają zastosowania prawa wyłączonego środka – w takim przypadku istnieją zdania, które nie mogą być uzasadnione. Logikę rozmytą po raz pierwszy przedstawił Lotfi Zadeh jako formalizację niepewności, to jest zjawiska występowania obiektów, wobec których pewne określenia stosują się tylko w pewnym stopniu. (pl) Em lógica, a lógica multivalorada (ou lógica plurivalente) é um cálculo proposicional em que há mais de dois valores verdade. Tradicionalmente, na Lógica aristotélica, existem apenas dois possíveis valores (isto é, "verdadeiro" e "falso") para cada proposição. Uma extensão obvia para a lógica clássica 2-valorada é uma lógica n-valorada, com n maior que 2. As mais populares na literatura são a lógica ternária (que usa "verdadeiro", "falso" e "não se sabe"), a finitamente-valorada com mais de 3 valores, e a infinitamente-valorada, como a lógica difusa e a lógica probabilística. (pt) Багатозначна логіка — тип некласичної логіки, характерний наявністю більш ніж двох можливих істинних значень (істинності та хибності). Першу систему багатозначної логіки запропонував польський математик Ян Лукасевич в 1920 році. В наш час[коли?] існує дуже багато інших систем багатозначної логіки, які в свою чергу можуть бути згруповані за класами. Найважливішими з таких класів є та нечіткі логіки. (uk) Flervärd logik är en term inom logiken som avser logiska system som hanterar fler sanningsvärden än sann (T) och falsk (F). Ett exempel är , ett annat är suddig logik. Ett vanligt tredje sanningsvärde är okänt (U). Ett fjärde sanningsvärde kan vara motstridigt (#) eller överbestämt för utsagor som samtidigt, men på olika fakta, utvärderats till såväl sann (T) som falsk (F). Ytterligare ett sanningsvärde kan vara att man försökt utvärdera utsagan, men upptäckt att det inte finns tillräckliga fakta för att utvärdera den. Då kan man behöva ytterligare ett sanningsvärde som talar om att det är känt att det är okänt (X). Det senare är förmodligen mest användbart i . (sv) 多值逻辑是有多于两个的可能的真值的逻辑演算。传统上，逻辑演算是二值的，就是说对于任何命题都只有两个可能的真值，真和假（它一般对应于我们直觉概念的真理和虚假）。但是二值只有一个可以被指派的可能的真值范围，已经开发了一些其他逻辑系统，带有对二值的变异，或带有多于两个可能的真值指派。 (zh) Многозначная логика — это логика, в которой логические выражения могут принимать значения из множества, содержащего более, чем два элемента. При этом некоторые из этих значений считаются истинными. Такими свойствами многозначная логика отличается от классической логики Аристотеля, в которой логические выражения могут принимать только одно из двух возможных значения — «истина» или «ложь». Однако классическая двухзначная логика может быть дополнена до n-значной с n > 2. Наиболее популярными в литературе являются трёхзначная логика (например, логика Яна Лукасевича и Стивена Клини, которая принимает значения «истина», «ложь» и «неизвестно»), (может иметь более трёх значений) и логики (сюда относят вероятностную логику с непрерывной шкалой значений истинности от 0 до 1, а также нечёткую логику). (ru) |
| dbo:wikiPageExternalLink | http://www.lcs.info.hiroshima-cu.ac.jp/~s_naga/MVL/ https://web.archive.org/web/20050211094618/http:/www.upmf-grenoble.fr/mvl/ https://web.archive.org/web/20160303170255/http:/www.uni-leipzig.de/~logik/gottwald/SGforDJ.pdf http://www.cse.chalmers.se/~reiner/mvl-web/ http://sqig.math.ist.utl.pt/pub/caleiroc/05-cccm-dyadic.pdf https://books.google.com/books%3Fid=VMzrCAAAQBAJ&printsec=frontcover%23v=onepage&q&f=false https://books.google.com/books%3Fid=YdToCAAAQBAJ&printsec=frontcover%23v=onepage&q&f=false http://www.uni-leipzig.de/~logik/gottwald/SGforDJ.pdf https://plato.stanford.edu/archives/sum2022/entries/logic-manyvalued/%7Ctitle=Many-Valued https://plato.stanford.edu/archives/win2021/entries/truth-values/%7Ctitle=Truth https://plato.stanford.edu/entries/truth-values/suszko-thesis.html%7Ctitle=Suszko's http://www.collegepublications.co.uk/logic/%3F00034 |
| dbo:wikiPageID | 38024 (xsd:integer) |
| dbo:wikiPageLength | 30946 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1123733439 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Propositional_calculus dbr:MV-algebra dbr:MVCML dbr:Principle_of_bivalence dbr:Problem_of_future_contingents dbr:Béziau dbr:Aristotelian_logic dbr:Residue_number_system dbr:VHDL dbr:Verilog dbr:Infinite-valued_logic dbr:Intuitionistic_logic dbr:Jaina_seven-valued_logic dbr:Material_conditional dbr:Maximum dbr:Chen_Chung_Chang dbr:Negation dbr:Emil_Leon_Post dbr:Graham_Priest dbr:Mu_(negative) dbc:Many-valued_logic dbr:Logic dbr:Logical_conjunction dbr:Siegfried_Gottwald dbr:Stanford_Encyclopedia_of_Philosophy dbr:Stephen_Cole_Kleene dbr:Functional_completeness dbr:Programmable_logic_array dbr:Proposition dbr:Sui_generis dbr:Truth_function dbr:Truth_value dbr:Fuzzy_logic dbr:Gödel_logic dbr:Law_of_excluded_middle dbr:Three-valued_logic dbr:Alfred_Tarski dbr:Nuel_Belnap dbr:Die_(integrated_circuit) dbr:False_dilemma dbr:Four-valued_logic dbr:Itala_D'Ottaviano dbr:Relevance_logic dbr:Ripple-carry_adder dbr:Hans_Reichenbach dbr:Jan_Łukasiewicz dbr:Tautology_(logic) dbr:Redundant_binary_representation dbr:Łukasiewicz_logic dbr:Aristotle dbr:John_Locke dbr:Term_logic dbr:Automatic_test_pattern_generation dbr:Classical_logic dbr:H._Jerome_Keisler dbr:IEEE dbr:Indicator_function dbr:Kleene_logic dbr:Kurt_Gödel dbr:Minimum dbr:Rational_number dbr:Real_number dbr:Semantic dbr:Petr_Hájek dbr:Complete_heyting_algebra dbr:IEEE_1164 dbr:IEEE_Computer_Society dbr:Probabilistic_logic dbr:Finite-valued_logic dbr:Characteristic_function dbr:Three-state_logic dbr:Noise-based_logic dbr:Kleene_algebra_(with_involution) dbr:Nine-valued_logic dbr:Chalmers_University dbr:Two-valued_logic dbr:Biconditional dbr:Emil_Post dbr:Field_programmable_gate_array dbr:Finite_state_machine dbr:Disjunction dbr:Dov_M._Gabbay dbr:A._N._Prior dbr:Heyting_implication dbr:Alexandre_Zinoviev dbr:Degrees_of_truth dbr:Intermediate_logics dbr:Lattice_(order_theory) dbr:Goguen dbr:Journal_of_Multiple-Valued_Logic_and_Soft_Computing dbr:Finitely-many_valued_logic dbr:International_Symposium_on_Multiple-Valued_Logic |
| dbp:wikiPageUsesTemplate | dbt:Citation dbt:Cite_book dbt:Cite_encyclopedia dbt:Cite_journal dbt:ISBN dbt:Main dbt:Math dbt:Mvar dbt:Portal dbt:Reflist dbt:See_also dbt:Short_description dbt:Use_mdy_dates dbt:Underset dbt:Non-classical_logic |
| dct:subject | dbc:Many-valued_logic |
| gold:hypernym | dbr:Propositional |
| rdf:type | owl:Thing |
| rdfs:comment | Una lògica polivalent és un sistema lògic que rebutja el principi del tercer exclòs de les lògiques bivalents i admet més valors de veritat que els tradicionals veritable i fals . Diferents lògiques plurivalentes poden admetre diferents quantitats de valors de veritat: des de tres, fins a infinit. (ca) Many-valued logic (also multi- or multiple-valued logic) refers to a propositional calculus in which there are more than two truth values. Traditionally, in Aristotle's logical calculus, there were only two possible values (i.e., "true" and "false") for any proposition. Classical two-valued logic may be extended to n-valued logic for n greater than 2. Those most popular in the literature are three-valued (e.g., Łukasiewicz's and Kleene's, which accept the values "true", "false", and "unknown"), four-valued, nine-valued, the finite-valued (finitely-many valued) with more than three values, and the infinite-valued (infinitely-many-valued), such as fuzzy logic and probability logic. (en) Una lógica plurivalente o lógica polivalente es un sistema lógico que rechaza el principio del tercero excluido de las lógicas bivalentes y admite más valores de verdad que los tradicionales verdadero y falso. Distintas lógicas plurivalentes pueden admitir distintas cantidades de valores de verdad: desde tres, hasta infinito (cualquier número real entre 0 y 1). (es) Les logiques polyvalentes (ou multivalentes, ou multivaluées) sont des alternatives à la logique classique aristotélicienne, bivalente, dans laquelle toute proposition doit être soit vraie soit fausse. Elles sont apparues à partir des années 1920, surtout à la suite des travaux du logicien polonais Jan Łukasiewicz.Elles sont principalement étudiées au niveau du seul calcul propositionnel et peu au niveau du calcul des prédicats. (fr) Le logiche polivalenti sono estensioni della logica classica in cui sono presenti più valori di verità rispetto ai canonici vero, falso e pertanto in esse non vale il principio del terzo escluso.Le prime logiche polivalenti furono proposte negli anni 1920 da Emil Post e da Jan Łukasiewicz e in esse erano presenti tre valori di verità: vero, falso, problematico. (it) 논리학에서 다치 논리는 두 개 이상의 진릿값이 있는 명제 논리이다. 전통적으로 아리스토텔레스의 논리 미적분학 에서는 모든 명제에 대해 두 가지 가능한 값(즉, "참"과 "거짓")만 있었다. 고전적인 이치 논리는 n 이 2보다 큰 경우 n 값 논리로 확장될 수 있다. 문헌에서 가장 인기 있는 것은 3치 (예: 우카시에비치 및 클레이니, "true", "false" 및 "unknown" 값을 허용함), 4치, 9치, 그리고 유한 치, 그리고 퍼지 논리 및 확률 논리와 같은 무한 치이다. (ko) 多値論理（たちろんり）とは、真理値の値を、いわゆる真偽値すなわち真と偽の2個だけでなく、3個あるいはそれ以上の多数の値とした論理体系で、非古典論理の一種である。 (ja) Em lógica, a lógica multivalorada (ou lógica plurivalente) é um cálculo proposicional em que há mais de dois valores verdade. Tradicionalmente, na Lógica aristotélica, existem apenas dois possíveis valores (isto é, "verdadeiro" e "falso") para cada proposição. Uma extensão obvia para a lógica clássica 2-valorada é uma lógica n-valorada, com n maior que 2. As mais populares na literatura são a lógica ternária (que usa "verdadeiro", "falso" e "não se sabe"), a finitamente-valorada com mais de 3 valores, e a infinitamente-valorada, como a lógica difusa e a lógica probabilística. (pt) Багатозначна логіка — тип некласичної логіки, характерний наявністю більш ніж двох можливих істинних значень (істинності та хибності). Першу систему багатозначної логіки запропонував польський математик Ян Лукасевич в 1920 році. В наш час[коли?] існує дуже багато інших систем багатозначної логіки, які в свою чергу можуть бути згруповані за класами. Найважливішими з таких класів є та нечіткі логіки. (uk) Flervärd logik är en term inom logiken som avser logiska system som hanterar fler sanningsvärden än sann (T) och falsk (F). Ett exempel är , ett annat är suddig logik. Ett vanligt tredje sanningsvärde är okänt (U). Ett fjärde sanningsvärde kan vara motstridigt (#) eller överbestämt för utsagor som samtidigt, men på olika fakta, utvärderats till såväl sann (T) som falsk (F). Ytterligare ett sanningsvärde kan vara att man försökt utvärdera utsagan, men upptäckt att det inte finns tillräckliga fakta för att utvärdera den. Då kan man behöva ytterligare ett sanningsvärde som talar om att det är känt att det är okänt (X). Det senare är förmodligen mest användbart i . (sv) 多值逻辑是有多于两个的可能的真值的逻辑演算。传统上，逻辑演算是二值的，就是说对于任何命题都只有两个可能的真值，真和假（它一般对应于我们直觉概念的真理和虚假）。但是二值只有一个可以被指派的可能的真值范围，已经开发了一些其他逻辑系统，带有对二值的变异，或带有多于两个可能的真值指派。 (zh) Plurvalora logiko estas sistemo de logiko kiu malakceptas la principon de la tria ekskludita de la duvaloraj logikoj kaj akceptas pli da veraj valoroj ol la tradiciaj vera kaj falsa. Diversaj plurvaloraj logikoj povas akcepti diferencajn kvantojn de veraj valoroj: el tri, ĝis infinito (ajna reela nombro inter 0 kaj 1). (eo) Mehrwertige Logik ist ein Oberbegriff für alle logischen Systeme, die mehr als zwei Wahrheitswerte verwenden. Ausgangspunkt für die Entwicklung mehrwertiger Logiken war die erkenntnistheoretische Frage, ob dem Prinzip der Zweiwertigkeit außerlogische Wahrheit zukommt. Für Aussagen über die Zukunft stellt bereits Aristoteles diese Frage, indem er argumentiert, dass die Wahrheit einer Aussage wie „Morgen wird eine Seeschlacht stattfinden“ erst am Abend des morgigen Tages feststehen wird und dass sie bis zu diesem Zeitpunkt noch als unbestimmt und damit als kontingent möglich betrachtet werden muss. (de) Meerwaardige logica (Multi-Valued Logic of MVL) is een verzamelnaam voor alle waarbij zinnen niet alleen maar "waar" of "onwaar" kunnen zijn, maar ook een andere waarheidswaarden kunnen hebben. De term is gerelateerd aan, maar te onderscheiden van, de modale logica. (nl) Logika wielowartościowa – rodzaj rachunku zdań, w którym przyjmuje się więcej niż dwie wartości logiczne. Tradycyjny rachunek zdań jest dwuwartościowy – są w nim możliwe tylko dwie wartości logiczne – prawda albo fałsz (co odpowiada podstawowej intuicji związanej z prawdziwością wypowiedzi). Jednakże klasyczna dwuwartościowość jest tylko jedną z możliwości zakresu wartości logicznych. Możliwe są logiki, w których istnieją inne wartości logiczne, lub nawet takie, w których występują więcej niż dwie wartości. (pl) Многозначная логика — это логика, в которой логические выражения могут принимать значения из множества, содержащего более, чем два элемента. При этом некоторые из этих значений считаются истинными. Такими свойствами многозначная логика отличается от классической логики Аристотеля, в которой логические выражения могут принимать только одно из двух возможных значения — «истина» или «ложь». Однако классическая двухзначная логика может быть дополнена до n-значной с n > 2. Наиболее популярными в литературе являются трёхзначная логика (например, логика Яна Лукасевича и Стивена Клини, которая принимает значения «истина», «ложь» и «неизвестно»), (может иметь более трёх значений) и логики (сюда относят вероятностную логику с непрерывной шкалой значений истинности от 0 до 1, а также нечёткую логик (ru) |
| rdfs:label | Many-valued logic (en) Lògica polivalent (ca) Mehrwertige Logik (de) Plurvalora logiko (eo) Lógica plurivalente (es) Logique polyvalente (fr) Logica polivalente (it) 다치 논리 (ko) 多値論理 (ja) Meerwaardige logica (nl) Logika wielowartościowa (pl) Lógica multivalorada (pt) Многозначная логика (ru) Flervärd logik (sv) 多值逻辑 (zh) Багатозначна логіка (uk) |
| rdfs:seeAlso | dbr:Principle_of_bivalence |
| owl:sameAs | freebase:Many-valued logic freebase:Many-valued logic wikidata:Many-valued logic dbpedia-ca:Many-valued logic dbpedia-de:Many-valued logic dbpedia-eo:Many-valued logic dbpedia-es:Many-valued logic dbpedia-et:Many-valued logic dbpedia-fa:Many-valued logic dbpedia-fr:Many-valued logic dbpedia-hu:Many-valued logic http://hy.dbpedia.org/resource/Բազմարժեք_տրամաբանություն dbpedia-it:Many-valued logic dbpedia-ja:Many-valued logic dbpedia-ko:Many-valued logic dbpedia-mk:Many-valued logic dbpedia-nl:Many-valued logic dbpedia-pl:Many-valued logic dbpedia-pt:Many-valued logic dbpedia-ru:Many-valued logic dbpedia-sv:Many-valued logic dbpedia-uk:Many-valued logic dbpedia-zh:Many-valued logic https://global.dbpedia.org/id/nWe6 |
| prov:wasDerivedFrom | wikipedia-en:Many-valued_logic?oldid=1123733439&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Many-valued_logic |
| is dbo:wikiPageRedirects of | dbr:Rose_logic dbr:Belnap_logic dbr:Bochvar_logic dbr:History_of_many-valued_logic dbr:Applications_of_many-valued_logic dbr:Multi-valued_logic dbr:Multivalued_logic dbr:Manyvalued_logic dbr:Poly-valued_logic dbr:Poly_valued_logic dbr:Polyvalent_logic dbr:Polyvalued_logic dbr:Many-Valued_Logics dbr:Many-valued_logics dbr:Many_valued_logic dbr:M-V_logic dbr:Multi-valued_logics dbr:Multi_valued_logic dbr:Multiple-valued_logic dbr:Multiple_valued_logic dbr:MV-logic dbr:MV_logic |
| is dbo:wikiPageWikiLink of | dbr:Propositional_calculus dbr:Rose_logic dbr:Belnap_logic dbr:MV-algebra dbr:MVCML dbr:Principle_of_bivalence dbr:Problem_of_future_contingents dbr:Bas_van_Fraassen dbr:Bochvar_logic dbr:History_of_many-valued_logic dbr:Richard_Zach dbr:Culture_of_Poland dbr:Cyclic_negation dbr:VHDL dbr:Decision_table dbr:Index_of_philosophy_articles_(I–Q) dbr:Infinite-valued_logic dbr:Intuitionistic_logic dbr:Jaina_seven-valued_logic dbr:Peirce's_law dbr:Alexander_Zinoviev dbr:Glossary_of_artificial_intelligence dbr:Mu_(negative) dbr:Applications_of_many-valued_logic dbr:Siegfried_Gottwald dbr:Horn-satisfiability dbr:Ice_(Dukaj_novel) dbr:Pluralism_(philosophy) dbr:Stéphane_Lupasco dbr:Timeline_of_quantum_mechanics dbr:Truth dbr:Wicked_problem dbr:Fuzzy_concept dbr:Fuzzy_logic dbr:Jerzy_Słupecki dbr:Law_of_thought dbr:Logical_intuition dbr:Logical_possibility dbr:Paraconsistent_logic dbr:Three-valued_logic dbr:Alfred_Foster_(mathematician) dbr:False_dilemma dbr:History_of_philosophy_in_Poland dbr:Itala_D'Ottaviano dbr:Logical_connective dbr:2-satisfiability dbr:Heyting_algebra dbr:Jan_Łukasiewicz dbr:Łukasiewicz_logic dbr:Arthur_Prior dbr:Kazem_Sadegh-Zadeh dbr:Hugh_MacColl dbr:Indicator_function dbr:Inductive_reasoning dbr:Method_of_analytic_tableaux dbr:Raven_paradox dbr:Multi-valued_logic dbr:Rule_of_inference dbr:Philosophical_logic dbr:Walter_Carnielli dbr:Multivalued_logic dbr:Finite-valued_logic dbr:Manyvalued_logic dbr:Relativism dbr:Virtual_finite-state_machine dbr:Vector_logic dbr:T-norm_fuzzy_logics dbr:Non-classical_logic dbr:Philosophy_of_logic dbr:Outline_of_logic dbr:Outline_of_philosophy dbr:Poly-valued_logic dbr:Poly_valued_logic dbr:Polyvalent_logic dbr:Polyvalued_logic dbr:Many-Valued_Logics dbr:Many-valued_logics dbr:Many_valued_logic dbr:M-V_logic dbr:Multi-valued_logics dbr:Multi_valued_logic dbr:Multiple-valued_logic dbr:Multiple_valued_logic dbr:MV-logic dbr:MV_logic |
| is foaf:primaryTopic of | wikipedia-en:Many-valued_logic |