| Property |
Value |
| dbo:abstract
|
- 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)
- 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)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 8672 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
| |
| prop-fr:art
|
- Algebraic logic (fr)
- Algebraic logic (fr)
|
| prop-fr:auteur
|
- Gary M. Hardegree (fr)
- Hajnal Andréka, István Németi and Ildikó Sain (fr)
- J. Michael Dunn (fr)
- Gary M. Hardegree (fr)
- Hajnal Andréka, István Németi and Ildikó Sain (fr)
- J. Michael Dunn (fr)
|
| prop-fr:chapter
|
- Algebraic logic (fr)
- Algebraic logic (fr)
|
| prop-fr:edition
| |
| prop-fr:id
| |
| prop-fr:isbn
| |
| prop-fr:lang
| |
| prop-fr:pagesTotales
| |
| prop-fr:titre
|
- Algebraic Methods in Philosophical Logic (fr)
- Handbook of Philosophical Logic, vol 2 (fr)
- Algebraic Methods in Philosophical Logic (fr)
- Handbook of Philosophical Logic, vol 2 (fr)
|
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
| |
| dct:subject
| |
| 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)
- 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:label
|
- Logique algébrique (fr)
- Lògica algebraica (ca)
- Алгебраїчна логіка (uk)
- Logique algébrique (fr)
- Lògica algebraica (ca)
- Алгебраїчна логіка (uk)
|
| rdfs:seeAlso
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
