bn:01870787n
Noun Concept
Categories: Lógica matemática
PT
cálculo de sequentes  cálculo subsequente
PT
Na teoria da prova e lógica matemática, o cálculo de sequentes é um grupo de sistemas formais que compartilham de um certo estilo de inferência e propriedades formais. Wikipedia
Definitions
Relations
Sources
PT
Na teoria da prova e lógica matemática, o cálculo de sequentes é um grupo de sistemas formais que compartilham de um certo estilo de inferência e propriedades formais. Wikipedia
Wikipedia
Wikidata
Wikipedia Translations