| dbo:abstract
|
- Dins la lògica matemàtica, la lògica algebraica és el raonament obtingut mitjançant la manipulació d'equacions amb variables lliures. El que actualment s’anomena lògica algebraica clàssica se centra en la identificació i descripció algebraica de models adequats per a l'estudi de diverses lògiques (en forma de classes d'àlgebres que constitueixen la semàntica algebraica d'aquests sistemes deductius ) i problemes connectats com la representació i la dualitat. Resultats ben coneguts com el teorema de la representació per a les àlgebres de Boole i la dualitat de Stone cauen sota el paraigua de la lògica algebraica clàssica . Els treballs de la lògica algebraica abstracta més recent (AAL) se centren en el propi procés d'algebraització, com classificar diverses formes d'algebraitzabilitat mitjançant l'operador de Leibniz . (ca)
- In mathematical logic, algebraic logic is the reasoning obtained by manipulating equations with free variables. What is now usually called classical algebraic logic focuses on the identification and algebraic description of models appropriate for the study of various logics (in the form of classes of algebras that constitute the algebraic semantics for these deductive systems) and connected problems like representation and duality. Well known results like the representation theorem for Boolean algebras and Stone duality fall under the umbrella of classical algebraic logic. Works in the more recent abstract algebraic logic (AAL) focus on the process of algebraization itself, like classifying various forms of algebraizability using the Leibniz operator. (en)
- 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)
- 在數理邏輯中，代數邏輯使用抽象代數方法形式化邏輯。 (zh)
- Алгебраїчна логіка — частина математичної логіки, викладена алгебраїчним стилем. (uk)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 18986 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:reference
|
- Zalta, E. N., 2000, "A (Leibnizian) Theory of Concepts," Philosophiegeschichte und logische Analyse / Logical Analysis and History of Philosophy 3: 137-183. (en)
- Lenzen, Wolfgang, 2004, "Leibniz’s Logic" in Gabbay, D., and Woods, J., eds., Handbook of the History of Logic, Vol. 3: The Rise of Modern Logic from Leibniz to Frege. North-Holland: 1-84. (en)
|
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| gold:hypernym
| |
| rdf:type
| |
| 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)
- 在數理邏輯中，代數邏輯使用抽象代數方法形式化邏輯。 (zh)
- Алгебраїчна логіка — частина математичної логіки, викладена алгебраїчним стилем. (uk)
- Dins la lògica matemàtica, la lògica algebraica és el raonament obtingut mitjançant la manipulació d'equacions amb variables lliures. El que actualment s’anomena lògica algebraica clàssica se centra en la identificació i descripció algebraica de models adequats per a l'estudi de diverses lògiques (en forma de classes d'àlgebres que constitueixen la semàntica algebraica d'aquests sistemes deductius ) i problemes connectats com la representació i la dualitat. Resultats ben coneguts com el teorema de la representació per a les àlgebres de Boole i la dualitat de Stone cauen sota el paraigua de la lògica algebraica clàssica . (ca)
- In mathematical logic, algebraic logic is the reasoning obtained by manipulating equations with free variables. What is now usually called classical algebraic logic focuses on the identification and algebraic description of models appropriate for the study of various logics (in the form of classes of algebras that constitute the algebraic semantics for these deductive systems) and connected problems like representation and duality. Well known results like the representation theorem for Boolean algebras and Stone duality fall under the umbrella of classical algebraic logic. (en)
|
| rdfs:label
|
- Algebraic logic (en)
- Lògica algebraica (ca)
- Logique algébrique (fr)
- Алгебраїчна логіка (uk)
- 代数逻辑 (zh)
|
| rdfs:seeAlso
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:knownFor
of | |
| is dbo:notableIdea
of | |
| is dbo:philosophicalSchool
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is dbp:knownFor
of | |
| is dbp:notableIdeas
of | |
| is rdfs:seeAlso
of | |
| is foaf:primaryTopic
of | |
