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

Autores

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

Downloads

Não há dados estatísticos.

Downloads

Publicado

2018-12-19

Edição

Seção

Resumos