Mostrando 743 resultados

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

19 resultados com objetos digitais Exibir resultados com objetos digitais

Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes
Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes
Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes
Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes
Observações sobre o conjunto de Russell
Observações sobre o conjunto de Russell
Resumo de AIA intitulado On Griss' Propositional Calculus
Resumo de AIA intitulado On Griss' Propositional Calculus
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*,
Cálculos Proposicionais, de Predicados e Matrizes
Cálculos Proposicionais, de Predicados e Matrizes
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
Estudos em Lógica
Estudos em Lógica
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
Exibindo 631-660 de 743 resultados