Categorical consequence for paraconsistent logic

In Walter Carnielli (ed.), Paraconsistency:the logical way to the inconsistent. pp. 141-150 (2002)
  Copy   BIBTEX


Consequence rleations over sets of "judgments" are defined by using "overdetermined" as well as "underdetermined" valuations. Some of these relations are shown to be categorical. And generalized soundness and completeness results are given for both multiple and single conclusion consequence relations.

Author's Profile

Frederick Johnson
Colorado State University


Added to PP

331 (#34,637)

6 months
21 (#77,912)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?