. . . . . . . . . . . . . . "\u4EE3\u6570\u903B\u8F91"@zh . . . . . . . . . "L\u00F2gica algebraica"@ca . . . . . . . . . . . . . . . . . . "7870034"^^ . . . . "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 . . . . . . . . . . . . . "\u5728\u6578\u7406\u908F\u8F2F\u4E2D\uFF0C\u4EE3\u6578\u908F\u8F2F\u4F7F\u7528\u62BD\u8C61\u4EE3\u6578\u65B9\u6CD5\u5F62\u5F0F\u5316\u908F\u8F2F\u3002"@zh . . . . "En logique math\u00E9matique, la logique alg\u00E9brique est le raisonnement obtenu en manipulant des \u00E9quations avec des variables libres. Ce qui est maintenant g\u00E9n\u00E9ralement appel\u00E9 la logique alg\u00E9brique classique se concentre sur l'identification et la description alg\u00E9brique des mod\u00E8les adapt\u00E9s \u00E0 l'\u00E9tude de diff\u00E9rentes logiques (sous la forme de classes d'alg\u00E8bres qui constituent la s\u00E9mantique alg\u00E9brique de ces syst\u00E8mes d\u00E9ductifs) et aux probl\u00E8mes connexes, comme la repr\u00E9sentation et la dualit\u00E9."@fr . "1111954032"^^ . . . . . . . . . . . . . . . . . . . . . . "\u0410\u043B\u0433\u0435\u0431\u0440\u0430\u0457\u0447\u043D\u0430 \u043B\u043E\u0433\u0456\u043A\u0430"@uk . "Dins la l\u00F2gica matem\u00E0tica, la l\u00F2gica algebraica \u00E9s el raonament obtingut mitjan\u00E7ant la manipulaci\u00F3 d'equacions amb variables lliures. El que actualment s\u2019anomena l\u00F2gica algebraica cl\u00E0ssica se centra en la identificaci\u00F3 i descripci\u00F3 algebraica de models adequats per a l'estudi de diverses l\u00F2giques (en forma de classes d'\u00E0lgebres que constitueixen la sem\u00E0ntica algebraica d'aquests sistemes deductius ) i problemes connectats com la representaci\u00F3 i la dualitat. Resultats ben coneguts com el teorema de la representaci\u00F3 per a les \u00E0lgebres de Boole i la dualitat de Stone cauen sota el paraigua de la l\u00F2gica algebraica cl\u00E0ssica . Els treballs de la l\u00F2gica algebraica abstracta m\u00E9s recent (AAL) se centren en el propi proc\u00E9s d'algebraitzaci\u00F3, com classificar diverses formes d'algebraitzabilitat mitjan\u00E7ant 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."@en . "\u0410\u043B\u0433\u0435\u0431\u0440\u0430\u0457\u0447\u043D\u0430 \u043B\u043E\u0433\u0456\u043A\u0430 \u2014 \u0447\u0430\u0441\u0442\u0438\u043D\u0430 \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u0447\u043D\u043E\u0457 \u043B\u043E\u0433\u0456\u043A\u0438, \u0432\u0438\u043A\u043B\u0430\u0434\u0435\u043D\u0430 \u0430\u043B\u0433\u0435\u0431\u0440\u0430\u0457\u0447\u043D\u0438\u043C \u0441\u0442\u0438\u043B\u0435\u043C."@uk . . . . . . . . . . . . . "\u0410\u043B\u0433\u0435\u0431\u0440\u0430\u0457\u0447\u043D\u0430 \u043B\u043E\u0433\u0456\u043A\u0430 \u2014 \u0447\u0430\u0441\u0442\u0438\u043D\u0430 \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u0447\u043D\u043E\u0457 \u043B\u043E\u0433\u0456\u043A\u0438, \u0432\u0438\u043A\u043B\u0430\u0434\u0435\u043D\u0430 \u0430\u043B\u0433\u0435\u0431\u0440\u0430\u0457\u0447\u043D\u0438\u043C \u0441\u0442\u0438\u043B\u0435\u043C."@uk . "Algebraic logic"@en . . "Lenzen, Wolfgang, 2004, \"Leibniz\u2019s 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 . . . . . . . . . . . . "18986"^^ . . . . "En logique math\u00E9matique, la logique alg\u00E9brique est le raisonnement obtenu en manipulant des \u00E9quations avec des variables libres. Ce qui est maintenant g\u00E9n\u00E9ralement appel\u00E9 la logique alg\u00E9brique classique se concentre sur l'identification et la description alg\u00E9brique des mod\u00E8les adapt\u00E9s \u00E0 l'\u00E9tude de diff\u00E9rentes logiques (sous la forme de classes d'alg\u00E8bres qui constituent la s\u00E9mantique alg\u00E9brique de ces syst\u00E8mes d\u00E9ductifs) et aux probl\u00E8mes connexes, comme la repr\u00E9sentation et la dualit\u00E9."@fr . . . . . . . . . . . . . . . . "Dins la l\u00F2gica matem\u00E0tica, la l\u00F2gica algebraica \u00E9s el raonament obtingut mitjan\u00E7ant la manipulaci\u00F3 d'equacions amb variables lliures. El que actualment s\u2019anomena l\u00F2gica algebraica cl\u00E0ssica se centra en la identificaci\u00F3 i descripci\u00F3 algebraica de models adequats per a l'estudi de diverses l\u00F2giques (en forma de classes d'\u00E0lgebres que constitueixen la sem\u00E0ntica algebraica d'aquests sistemes deductius ) i problemes connectats com la representaci\u00F3 i la dualitat. Resultats ben coneguts com el teorema de la representaci\u00F3 per a les \u00E0lgebres de Boole i la dualitat de Stone cauen sota el paraigua de la l\u00F2gica algebraica cl\u00E0ssica ."@ca . . . . . . . . . . . . "Logique alg\u00E9brique"@fr . . . . . . . . . . . . . . . . . . . . . "\u5728\u6578\u7406\u908F\u8F2F\u4E2D\uFF0C\u4EE3\u6578\u908F\u8F2F\u4F7F\u7528\u62BD\u8C61\u4EE3\u6578\u65B9\u6CD5\u5F62\u5F0F\u5316\u908F\u8F2F\u3002"@zh . . . . . . "Zalta, E. N., 2000, \"A (Leibnizian) Theory of Concepts,\" Philosophiegeschichte und logische Analyse / Logical Analysis and History of Philosophy 3: 137-183."@en . . . . . . . . . . . .