| dbo:abstract
|
- 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. (en)
- 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. (pt)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 7278 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| gold:hypernym
| |
| rdf:type
| |
| rdfs:comment
|
- 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. (en)
- 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. (pt)
|
| rdfs:label
|
- Double-negation translation (en)
- Tradução da dupla negação (pt)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
