Sobre a semântica da lógica LPT e da Lógica Proposicional Clássica

Abstract

Normalmente, um sistema lógico L pode ser definido como um par (For, `), sendo For entendido como um conjunto de fórmulas munido de uma relação de consequência sintática. Dizemos que uma teoria é consistente se ela não contém ϕ e ¬ϕ, para cada fórmula ϕ, caso contrário, é dito uma teoria inconsistente. Ainda, um sistema pode ser definido como paraconsistente se, e somente se, é não-explosivo, isto é, um sistema no qual o princı́pio de explosão (ϕ, ¬ϕ ` δ) não é válido.[...]