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

Luis Felipe Salvador Boato, Luiz Henrique da Cruz Silvestrini

Resumo


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.[...]


Texto completo:

PDF

Apontamentos

  • Não há apontamentos.


SBMAC - Sociedade de Matemática Aplicada e Computacional
Edifício Medical Center - Rua Maestro João Seppe, nº. 900, 16º. andar - Sala 163 | São Carlos/SP - CEP: 13561-120
 


Normas para publicação | Contato