CQD Revista Eletrônica Paulista de Matemática (Aug 2015)

Um novo sistema de axiomas para a lógica paraconsistente J3

  • Hércules de Araujo Feitosa,
  • Gabriel Alexandre da Cruz,
  • Ana Cláudia de Jesus Golzio

DOI
https://doi.org/10.21167/cqdvol4201523169664hafgacacjg1629
Journal volume & issue
Vol. 4
pp. 16 – 29

Abstract

Read online

No abstracts available.