Mostrando 704 resultados

Descrição arquivística
Ayda Ignez Arruda Item
Visualizar impressão Visualizar:
Crescente

16 resultados com objetos digitais Exibir resultados com objetos digitais

Russell's Set Versus the Universal Set in Paraconsistent Set Theory
Russell's Set Versus the Universal Set in Paraconsistent Set Theory
Silogismos Não-Aristotélicos
Silogismos Não-Aristotélicos
Sobre A Teoria dos Tipos
Sobre A Teoria dos Tipos
Sur la Théorie des Sytèmes Formels Inconsistants
Sur la Théorie des Sytèmes Formels Inconsistants
Une sémantique pour le calcul C1=
Une sémantique pour le calcul C1=
Artigo sem título
Artigo sem título
Os sistemas P e P*,
Os sistemas P e P*,
Aplicação de Matrizes
Aplicação de Matrizes
Cálculo de predicados de ordem superior
Cálculo de predicados de ordem superior
Cálculo Proposicional
Cálculo Proposicional
Capítulo I: Cálculo Proposicional
Capítulo I: Cálculo Proposicional
Capítulo II: Cálculo Proposicional
Capítulo II: Cálculo Proposicional
Decidibilidade do cálculo implicativo clássico
Decidibilidade do cálculo implicativo clássico
Decidibilidade do cálculo implicativo clássico
Decidibilidade do cálculo implicativo clássico
Função de verdade e matrizes
Função de verdade e matrizes
Independência de axiomas
Independência de axiomas
Introdução: 3 – Matrizes
Introdução: 3 – Matrizes
Matrizes
Matrizes
Várias axiomáticas para o cálculo proposicional clássico
Várias axiomáticas para o cálculo proposicional clássico
Artigo cálculos proposicionais
Artigo cálculos proposicionais
A teoria de primeira ordem v
A teoria de primeira ordem v
Aspects of the Historical Development of Paraconsistent Logic
Aspects of the Historical Development of Paraconsistent Logic
Cálculos Implicativos Gerais
Cálculos Implicativos Gerais
Capítulo I - Introdução aos Conceitos Fundamentais
Capítulo I - Introdução aos Conceitos Fundamentais
Capítulo II - Teoria de conjuntos An
Capítulo II - Teoria de conjuntos An
Abstract da palestra Implicative Systems and Modus Ponens Rule
Abstract da palestra Implicative Systems and Modus Ponens Rule
Linguagem de Primeira Ordem
Linguagem de Primeira Ordem
Lógicas de conceitos inexatos
Lógicas de conceitos inexatos
O sistema A de Ackermann
O sistema A de Ackermann
Observações sobre os sistemas NFi
Observações sobre os sistemas NFi
Exibindo 601-630 de 704 resultados