About: dbpedia-fr:Logique

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

About: dbpedia-fr:Logique_algébrique 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	Logique algébrique (fr) Lògica algebraica (ca) Алгебраїчна логіка (uk)
rdfs:comment	En logique mathématique, la logique algébrique est le raisonnement obtenu en manipulant des équations avec des variables libres. Ce qui est maintenant généralement appelé la logique algébrique classique se concentre sur l'identification et la description algébrique des modèles adaptés à l'étude de différentes logiques (sous la forme de classes d'algèbres qui constituent la sémantique algébrique de ces systèmes déductifs) et aux problèmes connexes, comme la représentation et la dualité. (fr)
rdfs:seeAlso	https://commons.wikimedia.org/wiki/Category:Algebraic_logic https://openlibrary.org/subjects/algebraic_logic https://www.jstor.org/topic/algebraic-logic https://www.quora.com/topic/Algebraic-Logic
sameAs	dbr:Algebraic_logic wikidata:Q1005222 dbpedia-ca:Lògica_algebraica dbpedia-da:Logisk_algebra dbpedia-fa:منطق_جبری dbpedia-kk:Алгебралық_логика dbpedia-uk:Алгебраїчна_логіка dbpedia-zh:代数逻辑 http://g.co/kg/m/026gyjw http://ma-graph.org/entity/86523455 http://msc2010.org/resources/MSC/2010/03Gxx
Wikipage page ID	10198367 (xsd:integer)
Wikipage revision ID	176500299 (xsd:integer)
dbo:wikiPageWikiLink	Alfred North Whitehead Alfred Tarski Boolean algebra Boolean algebra (structure) Heyting algebra Lindenbaum–Tarski algebra Modal algebra Relational algebra Universal algebra dbpedia-fr:Auguste_De_Morgan Peano axioms Bertrand Russell Propositional calculus First-order logic category-fr:Logique category-fr:Logique_mathématique category-fr:Logique_modale category-fr:Logique_propositionnelle dbpedia-fr:Charles_Sanders_Peirce Logical connective dbpedia-fr:Ernst_Schröder dbpedia-fr:Formule_(mathématiques) dbpedia-fr:George_Boole Giuseppe Peano dbpedia-fr:Gottfried_Wilhelm_Leibniz dbpedia-fr:Gottlob_Frege dbpedia-fr:Ivor_Grattan-Guinness dbpedia-fr:Leopold_Löwenheim dbpedia-fr:Logique dbpedia-fr:Logique_combinatoire dbpedia-fr:Logique_de_Łukasiewicz dbpedia-fr:Logique_formelle dbpedia-fr:Logique_intuitionniste dbpedia-fr:Logique_mathématique dbpedia-fr:Logique_modale dbpedia-fr:Logique_modale_normale dbpedia-fr:Logique_non_classique Louis Couturat dbpedia-fr:Métaphysique Operation (mathematics) Oxford University Press dbpedia-fr:Philosophie Principia Mathematica Quantifier (logic) Existential quantification Rewriting dbpedia-fr:Stanford_Encyclopedia_of_Philosophy Algebraic structure dbpedia-fr:Système_formel dbpedia-fr:Sémantique_algébrique dbpedia-fr:Terme_(logique) dbpedia-fr:Thoralf_Skolem dbpedia-fr:Théorie_des_ensembles dbpedia-fr:Théorie_des_ensembles_de_Zermelo-Fraenkel dbpedia-fr:Théorie_des_modèles dbpedia-fr:Treillis_(ensemble_ordonné) Domain of discourse dbpedia-fr:Variable_libre Willard Van Orman Quine Equality (mathematics) dbpedia-fr:Équivalence_logique dbpedia-fr:Mathématiques dbpedia-fr:Modus_ponens dbpedia-fr:Algèbre_intérieure dbpedia-fr:Algèbre-MV dbpedia-fr:Algèbre_Booléenne_monadique dbpedia-fr:Algèbre_polyadique dbpedia-fr:Boolean-valued_model dbpedia-fr:Calcul_des_prédicats_monadique dbpedia-fr:Clarence_Lewis dbpedia-fr:Cylindric_algebra dbpedia-fr:Hugh_MacColl dbpedia-fr:Nachlass dbpedia-fr:S5_(logique_modale)
Link from a Wikipage to an external page	http://www.elsevier.com/wps/find/bookdescription.cws_home/621535/description https://www.jstor.org/stable/3094793 http://www.philosophie.uni-osnabrueck.de/Publikationen%20Lenzen/Lenzen%20Leibniz%20Logic.pdf http://plato.stanford.edu/entries/algebra-logic-tradition/ http://www.math-inst.hu/pub/algebraic-logic/handbook.pdf

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, 9 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software