Annotated logics Qt and ultraproducts

Jair Minoro Abe, Seiki Akama

Abstract


In this paper, we study annotated predicate logic QT based on the ultraproduct method. We can generalize some model-theoretic results including Los' theorem in a paraconsistent setting.

Full Text:

PDF

Refbacks

  • There are currently no refbacks.