Mostrando 269 resultados

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

7 resultados com objetos digitais Exibir resultados com objetos digitais

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
Observações sobre um sistema sem a regra do modus ponens
Observações sobre um sistema sem a regra do modus ponens
Relevance Logic and the Schema of Separation
Relevance Logic and the Schema of Separation
Semântica para D1
Semântica para D1
Sistema DL
Sistema DL
Sistemas formais inconsistentes e teorias de conjuntos
Sistemas formais inconsistentes e teorias de conjuntos
Sobre a regra do Modus Ponens
Sobre a regra do Modus Ponens
Sobre Certos Sistemas de Lógica Relevante
Sobre Certos Sistemas de Lógica Relevante
Sobre o Sistema G1 de Gentzen
Sobre o Sistema G1 de Gentzen
Sur l’ensemble R dans NFw
Sur l’ensemble R dans NFw
Teorema da Dedução para Teorias de Primeira Ordem
Teorema da Dedução para Teorias de Primeira Ordem
Teorema de Completude para teorias de primeira ordem
Teorema de Completude para teorias de primeira ordem
Exibindo 211-240 de 269 resultados