Representação e combinação de logicas : questões conceituais / Representatain and combination of logics : conceptual questions
AUTOR(ES)
Alberto Leopoldo Batista Neto
DATA DE PUBLICAÇÃO
2007
RESUMO
Visando a atingir um esclarecimento sobre os conceitos fundamentais envolvidos no estudo das combinações entre lógicas, empreendemos uma alise do problema da representação geral de sistemas lógicos (com ênfase no conceito central de conseqüência lógica), juntamente com o do estabelecimento de uma noção apropriada de tradução ou morfismo entre os sistemas definidos de um determinado modo, com base em que podemos fundamentar algumas técnicas de combinação, especialmente a fibrilação algébrica. Tais técnicas são definidas e apresentadas em suas propriedades mais relevantes, sendo encontrados, no caso particular da fibrilação, problemas tais como o colapso e o anti-colapso. Para estes, a solução parece residir na escolha de formas adequadas de representar lógicas em geral e de traduzir lógicas umas nas outras. Uma apresentação modelo-teorética mostra-se apropriada para algumas representações de lógicas em geral (como, por exemplo, sistemas de Hilbert), embora não o seja para outras (como sistemas de conseqüências múltiplas). No entanto, duas das mais promissoras tentativas de solucionar, em particular, o problema do anti-colapso da fibrilação algébrica as meta-traduções e os transfers elementares podem ser definidas dentro desse arcabouço. Os transfers incluindo os transfers elementares - foram definidos em [17] - e aqui apresentamos uma representação das meta-traduções como tipo específico de transfer
ASSUNTO(S)
logica simbolica e matematica symbolic and mathematical logic
ACESSO AO ARTIGO
http://libdigi.unicamp.br/document/?code=vtls000430208Documentos Relacionados
- Representação e combinação de logicas : questões conceituais
- Polinomization of logics : problems and perspectives
- Cumplicidade : questões da pintura e da representação
- Logicas da inconsistencia deontica
- Lógicas probabilísticas com relações de independência: representação de conhecimento e aprendizado de máquina.