Double-negation translation
http://dbpedia.org/resource/Double-negation_translation an entity of type: ProgrammingLanguage
In proof theory, a discipline within mathematical logic, double-negation translation, sometimes called negative translation, is a general approach for embedding classical logic into intuitionistic logic, typically by translating formulas to formulas which are classically equivalent but intuitionistically inequivalent. Particular instances of double-negation translation include Glivenko's translation for propositional logic, and the Gödel–Gentzen translation and Kuroda's translation for first-order logic.
rdf:langString
Na teoria da prova, uma disciplina dentro da lógica matemática, tradução da dupla-negação, às vezes chamada de tradução negativa, é uma abordagem geral para a incorporação da lógica clássica na lógica intuicionista, normalmente através da tradução de fórmulas para fórmulas que são classicamente equivalentes, mas intuicionisticamente não equivalentes. Instâncias específicas da tradução da dupla negação incluem a tradução de Glivenko para a lógica proposicional, e a tradução Gödel-Gentzen e a tradução Kuroda para a lógica de primeira ordem.
rdf:langString
rdf:langString
Double-negation translation
rdf:langString
Tradução da dupla negação
xsd:integer
14662815
xsd:integer
1109443717
rdf:langString
In proof theory, a discipline within mathematical logic, double-negation translation, sometimes called negative translation, is a general approach for embedding classical logic into intuitionistic logic, typically by translating formulas to formulas which are classically equivalent but intuitionistically inequivalent. Particular instances of double-negation translation include Glivenko's translation for propositional logic, and the Gödel–Gentzen translation and Kuroda's translation for first-order logic.
rdf:langString
Na teoria da prova, uma disciplina dentro da lógica matemática, tradução da dupla-negação, às vezes chamada de tradução negativa, é uma abordagem geral para a incorporação da lógica clássica na lógica intuicionista, normalmente através da tradução de fórmulas para fórmulas que são classicamente equivalentes, mas intuicionisticamente não equivalentes. Instâncias específicas da tradução da dupla negação incluem a tradução de Glivenko para a lógica proposicional, e a tradução Gödel-Gentzen e a tradução Kuroda para a lógica de primeira ordem.
xsd:nonNegativeInteger
7278