lógica de múltiplos conclusão - Multiple-conclusion logic

A lógica de múltiplos conclusão é aquele em que consequência lógica é uma relação , entre dois conjuntos de sentenças (ou proposições ). é tipicamente interpretado no sentido de que, sempre que cada elemento de for verdadeira, algum elemento do é verdadeira; e sempre que cada elemento de for falso, algum elemento do é falsa. ${\ Displaystyle \ vdash}$${\ Displaystyle \ Gamma \ vdash \ Delta}$${\ Displaystyle \ Gamma}$${\ Displaystyle \ Delta}$${\ Displaystyle \ Delta}$${\ Displaystyle \ Gamma}$

Esta forma de lógica foi desenvolvido na década de 1970 por DJ Shoesmith e Smiley Timothy , mas não tem sido amplamente adotado.

Alguns lógicos favorecer uma consequência relação de vários conclusão sobre a relação-conclusão único mais tradicional, alegando que o último é assimétrica (no sentido informal, não-matemática) e favorece a verdade sobre a falsidade (ou afirmação sobre a negação).

Veja também

• cálculo de sequentes

Referências

Esta lógica artigo relacionados com é um esboço . Você pode ajudar a Wikipédia expandindo-o . v t e