Tamaño de fuente: 

Após a formulação do Cálculo de Sequentes e de Dedução Natural por G. Gentzen, cálculos equivalentes com regras alternativas foram propostos para a Lógica Clássica e Intuicionista. Posteriormente, cálculos (sub)estruturais para lógicas não-clássicas foram também propostos. Neste trabalho, logo de avaliar a importância do contexto das regras de inferência em cálculos subestruturais, mostramos as consequências para uma lógica não clássica de se adotar um cálculo de Dedução Natural. Mostramos que, sendo formulados os cálculos de Dedução Natural por meio de regras dependentes do contexto, as restrições estruturais inerentes às lógicas não-clássicas apenas podem ser incorporadas no cálculo lógico por meio do cálculo-?.

lógicas subestruturais, cálculo ?