Lógica universal
De Wikipedia, a enciclopédia encyclopedia
A lógica universal é o campo da lógica, que estuda características comuns de todos os sistemas lógicos, apontando ser para a lógica o que a álgebra universal é para a álgebra. Um número de abordagens para a lógica universal têm sido propostos desde o século vinte, usando o modelo teórico e abordagens categóricas.