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

Autores/as

  • Luis Felipe Salvador Boato
  • Luiz Henrique da Cruz Silvestrini

Resumen

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

Descargas

Los datos de descargas todavía no están disponibles.

Publicado

2018-12-19

Número

Sección

Resumos