Tentando aprender a traduzir a partir dos exemplos de tradução humana.
A partir de tradutores profissionais, empresas, páginas da web e repositórios de traduções disponíveis gratuitamente
* 19- "semantical analysis of intuitionistic logic ii.
* 19- «semantical analysis of intuitionistic logic ii.
Última atualização: 2016-03-03
Frequência de uso: 1
Qualidade:
Aviso: contém formatação HTML invisível
"on the completeness and decidability of intuitionistic propositional logic".
«on the completeness and decidability of intuitionistic propositional logic».
Última atualização: 2016-03-03
Frequência de uso: 1
Qualidade:
Aviso: contém formatação HTML invisível
the reasoning underlying the theory is mainly intuitionistic, avoiding the use of negation.
Аргументация, лежащие в основе теории, главным intuitionistic, избегая использования отрицания.
Última atualização: 2018-02-21
Frequência de uso: 1
Qualidade:
the resulting inferences can have intuitionistic semantic if some general constraints on the whole formula are hold.
Полученные выводы могут иметь интуиционистскую семантику, если выполняются специальные ограничения на структуру формулы.
it is proposed a formalization of the basic concepts of socionics with algebraic models of intuitionistic logic.
Предложена формализация основных понятий соционики при помощи алгебраических моделей интуиционистской логики.
for instance, gödel showed that all theorems from intuitionistic logic have an equivalent theorem in the classical modal logic s4.
Например, Гёдель показал, что все теоремы интуиционистской логики имеют эквивалентные теоремы в классической модальной логике s4.
in comparison with prolog and its constructive notation, pcfs have intuitionistic semantics in a wider range of rule representation, non-horn ones.
В сравнении с prolog-ом и его конструктивным выводом, ПОФ поддерживают интуиционистскую семантику в более широком классе представления логических правил (в виде не-хорновских формул).
also in 1920 he published intuitionistic set theory, then in 1927 he developed a theory of functions on the domains of definition of functions without the use of the principle of the excluded middle.
Ответ на вопрос в названии которых brouwer дает: "Нет". Также в 1920 он опубликовал интуиционистской set theory, то в 1927 он разработал теорию функции С Домены от Определение Функции без использования принципа на Ближнем Исключено.
"semantical analysis of intuitionistic logic i", in "formal systems and recursive functions", edited by m. dummett and j. n. crossley.
«semantical analysis of intuitionistic logic i», in "formal systems and recursive functions", edited by m. dummett and j. n. crossley.