-
1 алгебраизируемый
-
2 алгебраизируемый
-
3 алгебраизируемый
Русско-английский научно-технический словарь Масловского > алгебраизируемый
-
4 алгебраизуемая схема
algebraizable scheme мат.Русско-английский научно-технический словарь Масловского > алгебраизуемая схема
-
5 алгебраизуемая схема
Mathematics: algebraizable schemeУниверсальный русско-английский словарь > алгебраизуемая схема
-
6 алгебраизуемый
Mathematics: algebraizable -
7 алгебраизуемый пучок
Mathematics: algebraizable pencilУниверсальный русско-английский словарь > алгебраизуемый пучок
См. также в других словарях:
Leibniz operator — One of the cornerstone concepts in the theory of abstract algebraic logic is that of the Leibniz operator.MotivationThe Leibniz operator was introduced by Willem Blok and Don Pigozzi, two of the founders of the field, as a means to abstract the… … Wikipedia
Admissible rule — In logic, a rule of inference is admissible in a formal system if the set of theorems of the system is closed under the rule. The concept of an admissible rule was introduced by Paul Lorenzen (1955).DefinitionsThe concept of admissibility, as… … Wikipedia
Abstract algebraic logic — In mathematical logic, abstract algebraic logic (AAL) studies the ways in which classes of algebras may be associated with logical systems, and how these classes of algebras interact with logical systems.OverviewThe archetypal association of this … Wikipedia
АЛГЕБРА ЛОГИКИ — система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… … Философская энциклопедия
НЕКЛАССИЧЕСКИЕ ЛОГИКИ — НЕКЛАССИЧЕСКИЕ ЛОГИКИ широкая область логических исследований, выходящая за пределы или, наоборот, сужающая область исследований классической логики высказываний и логики предикатов. Предпосылки для неклассической логики были высказаны… … Философская энциклопедия
Non-classical logic — Non classical logics (and sometimes alternative logics) is the name given to formal systems which differ in a significant way from standard logical systems such as propositional and predicate logic. There are several ways in which this is done,… … Wikipedia