-
Englisch
-
Russisch
-
Deutsch
-
Französisch
-
Italian
-
Greek
-
Englisch
-
Russisch
-
Deutsch
-
Französisch
-
Italian
-
Greek
Proof-theoretic
Übersetzung von "proof-theoretic" ins Russisch
proof-theoretic
Adjektiv
UK
/ˌpruːf θɪəˈrɛtɪk/
US
/ˌpruf θiəˈrɛtɪk/
Technical relational adjective; typically used in attributive or predicative positions. Non-gradable.
теоретико-доказательный
Термин логики и математики; относится к теории доказательств. The paper presents a proof-theoretic analysis of intuitionistic logic.
В статье представлен теоретико-доказательный анализ интуиционистской логики.
Definitionen
proof-theoretic
Adjektiv
UK
/ˌpruːf θɪəˈrɛtɪk/
US
/ˌpruf θiəˈrɛtɪk/
Relating to proof theory, especially the study of formal proofs in logic and mathematics.
The paper presents a proof-theoretic analysis of intuitionistic logic.
Redewendungen und Phrasen
proof-theoretic semantics
The paper develops proof-theoretic semantics for intuitionistic logic.
доказательная семантика
В статье разрабатывается доказательная семантика для интуиционистской логики.
proof-theoretic strength
Researchers compared the proof-theoretic strength of several axiomatic systems.
доказательная сила
Исследователи сравнили доказательную силу нескольких аксиоматических систем.
proof-theoretic analysis
A proof-theoretic analysis of the calculus showed that the rules were consistent.
анализ в рамках теории доказательств
Анализ в рамках теории доказательств данного исчисления показал, что правила непротиворечивы.
proof-theoretic approach
The authors adopted a proof-theoretic approach to studying modal logic.
подход, основанный на теории доказательств
Авторы избрали подход, основанный на теории доказательств, для изучения модальной логики.
proof-theoretic method
This proof-theoretic method avoids relying on model-theoretic arguments.
метод теории доказательств
Этот метод теории доказательств избегает опоры на модельно-теоретические аргументы.
proof-theoretic framework
The new proof-theoretic framework clarifies how the derivations are constructed.
рамки теории доказательств
Новая рамка теории доказательств проясняет, как строятся выводы.
proof-theoretic perspective
From a proof-theoretic perspective, the theorem is easier to understand.
с точки зрения теории доказательств
С точки зрения теории доказательств теорему легче понять.
proof-theoretic account
The article offers a proof-theoretic account of implication.
доказательно-теоретическая интерпретация
Статья предлагает доказательно-теоретическую интерпретацию импликации.
proof-theoretic characterization
The proof-theoretic characterization of the system highlights its inferential rules.
характеризация с точки зрения теории доказательств
Характеризация системы с точки зрения теории доказательств подчёркивает её правила вывода.
proof-theoretic interpretation
A proof-theoretic interpretation of the connectives was proposed.
интерпретация в терминах теории доказательств
Была предложена интерпретация логических связок в терминах теории доказательств.
proof-theoretic consistency
The proof-theoretic consistency of the theory was established by a short argument.
доказательная непротиворечивость
Доказательная непротиворечивость теории была установлена коротким доказательством.
proof-theoretic results
The seminar focused on recent proof-theoretic results in arithmetic.
результаты теории доказательств
Семинар был посвящён недавним результатам теории доказательств в арифметике.