Showing 4278 results

Archival description
Item
Print preview View:
Ascending

1731 results with digital objects Show results with digital objects

A teoria de primeira ordem v
A teoria de primeira ordem v
Artigo cálculos proposicionais
Artigo cálculos proposicionais
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
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
Unidade de opostos
Unidade de opostos
Notas para a História da Lógica, História, e Variedades da Lógica
Notas para a História da Lógica, História, e Variedades da Lógica
Estudos analisando vários aspectos da lógica
Estudos analisando vários aspectos da lógica
Estudos contendo tópicos sobre axiomas
Estudos contendo tópicos sobre axiomas
Estudos tratando sobre vários aspectos pertinentes à lógica relevante
Estudos tratando sobre vários aspectos pertinentes à lógica relevante
Caderno contendo anotações sobre lógicas relevante
Caderno contendo anotações sobre lógicas relevante
Estudo tratando sobre sistemas lógicos sem a regra do modus ponens
Estudo tratando sobre sistemas lógicos sem a regra do modus ponens
Results 151 to 180 of 4278