Imprimir vista previa Cerrar

Mostrando 697 resultados

Descripción archivística
Ayda Ignez Arruda Inglés
Imprimir vista previa Ver :
Descendente

10 resultados con objetos digitales Muestra los resultados con objetos digitales

Uma variante do sistema P, tratando sobre a parte positiva da lógica relevante P
Uma variante do sistema P, tratando sobre a parte positiva da lógica relevante P
Teorema de Completude para teorias de primeira ordem
Teorema de Completude para teorias de primeira ordem
Teorema da Dedução para Teorias de Primeira Ordem
Teorema da Dedução para Teorias de Primeira Ordem
Sur l’ensemble R dans NFw
Sur l’ensemble R dans NFw
Sobre o Sistema G1 de Gentzen
Sobre o Sistema G1 de Gentzen
Sobre Certos Sistemas de Lógica Relevante
Sobre Certos Sistemas de Lógica Relevante
Sobre a regra do Modus Ponens
Sobre a regra do Modus Ponens
Sistemas formais inconsistentes e teorias de conjuntos
Sistemas formais inconsistentes e teorias de conjuntos
Sistema DL
Sistema DL
Semântica para D1
Semântica para D1
Relevance Logic and the Schema of Separation
Relevance Logic and the Schema of Separation
Observações sobre um sistema sem a regra do modus ponens
Observações sobre um sistema sem a regra do modus ponens
Observações sobre os sistemas NFi
Observações sobre os sistemas NFi
O sistema A de Ackermann
O sistema A de Ackermann
Lógicas de conceitos inexatos
Lógicas de conceitos inexatos
Linguagem de Primeira Ordem
Linguagem de Primeira Ordem
Abstract da palestra Implicative Systems and Modus Ponens Rule
Abstract da palestra Implicative Systems and Modus Ponens Rule
Capítulo II - Teoria de conjuntos An
Capítulo II - Teoria de conjuntos An
Capítulo I - Introdução aos Conceitos Fundamentais
Capítulo I - Introdução aos Conceitos Fundamentais
Cálculos Implicativos Gerais
Cálculos Implicativos Gerais
Aspects of the Historical Development of Paraconsistent Logic
Aspects of the Historical Development of Paraconsistent Logic
A teoria de primeira ordem v
A teoria de primeira ordem v
Artigo cálculos proposicionais
Artigo cálculos proposicionais
Várias axiomáticas para o cálculo proposicional clássico
Várias axiomáticas para o cálculo proposicional clássico
Matrizes
Matrizes
Introdução: 3 – Matrizes
Introdução: 3 – Matrizes
Independência de axiomas
Independência de axiomas
Função de verdade e matrizes
Função de verdade e matrizes
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
Resultados 61 a 90 de 697