About: dbpedia-fr:Logique

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: dbpedia-fr:Logique_polyvalente Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : fr.dbpedia.org associated with source document(s)

Attributes	Values
rdfs:label	Logica polivalente (it) Logique polyvalente (fr) Lògica polivalent (ca) Meerwaardige logica (nl) Багатозначна логіка (uk) 多値論理 (ja)
rdfs:comment	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)
rdfs:seeAlso	http://plato.stanford.edu/entries/logic-manyvalued https://www.britannica.com/topic/many-valued-logic https://bigenc.ru/text/2220413 https://www.quora.com/topic/Many-valued-Logic
sameAs	dbr:Many-valued_logic wikidata:Q185502 dbpedia-ca:Lògica_polivalent dbpedia-de:Mehrwertige_Logik dbpedia-eo:Plurvalora_logiko dbpedia-es:Lógica_plurivalente dbpedia-et:Mitmevalentne_loogika dbpedia-fa:منطق_چند-ارزشی dbpedia-hu:Többértékű_logika http://hy.dbpedia.org/resource/Բազմարժեք_տրամաբանություն dbpedia-it:Logica_polivalente dbpedia-ja:多値論理 dbpedia-ko:다치_논리 dbpedia-mk:Повеќевредносна_логика dbpedia-nl:Meerwaardige_logica dbpedia-pl:Logika_wielowartościowa dbpedia-pt:Lógica_multivalorada dbpedia-ru:Многозначная_логика dbpedia-sv:Flervärd_logik dbpedia-uk:Багатозначна_логіка dbpedia-zh:多值逻辑 http://g.co/kg/m/09h14 http://ma-graph.org/entity/150889026 http://msc2010.org/resources/MSC/2010/03B50
Wikipage page ID	196726 (xsd:integer)
Wikipage revision ID	190044344 (xsd:integer)
dbo:wikiPageWikiLink	Alexander Zinoviev dbpedia-fr:American_Journal_of_Mathematics Propositional calculus First-order logic category-fr:Logique_non_classique Schrödinger's cat Chen Chung Chang Completeness Logical connective dbpedia-fr:Emil_Post Countable set dbpedia-fr:Forcing dbpedia-fr:Forme_normale_conjonctive dbpedia-fr:Forme_normale_disjonctive dbpedia-fr:Jan_Łukasiewicz dbpedia-fr:Logique dbpedia-fr:Logique_classique dbpedia-fr:Logique_de_Łukasiewicz dbpedia-fr:Logique_floue dbpedia-fr:Logique_intuitionniste dbpedia-fr:Logique_modale dbpedia-fr:Logique_paracohérente dbpedia-fr:Logique_épistémique Quantum physics Uncertainty principle Principle of bivalence Law of excluded middle Satisfiability Saul Kripke dbpedia-fr:Sémantique_de_Kripke Gödel's incompleteness theorems dbpedia-fr:Logique_partielle
page length (characters) of wiki page	5453 (xsd:nonNegativeInteger)
dct:subject	category-fr:Logique_non_classique
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:En dbpedia-fr:Modèle:Lien dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Refnec dbpedia-fr:Modèle:Références dbpedia-fr:Modèle:À_recycler
prov:wasDerivedFrom	wikipedia-fr:Logique_polyvalente?oldid=190044344&ns=0
prop-fr:date	janvier 2012 (fr)
prop-fr:fr	MV-algèbre (fr) système fonctionnellement complet (fr)
prop-fr:lang	en (fr)
prop-fr:trad	Functional completeness (fr) MV-algebra (fr)
prop-fr:thème	logique (fr)
foaf:isPrimaryTopicOf	wikipedia-fr:Logique_polyvalente
has abstract	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)
is dbo:wikiPageWikiLink of	dbpedia-fr:La_logique_de_bockvar 1922 in science dbpedia-fr:Arthur_Prior Aymara language Propositional calculus Logical connective Semiring dbpedia-fr:Domaine_booléen dbpedia-fr:Formule_logique Generalization dbpedia-fr:Jan_Křesadlo dbpedia-fr:Jan_Łukasiewicz dbpedia-fr:Logique

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 13 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software