Paraconsistent First-Order Logic with infinite hierarchy levels of contradiction

Abstract

In this paper paraconsistent first-order logic LP^{#} with infinite hierarchy levels of contradiction is proposed. Corresponding paraconsistent set theory KSth^{#} is discussed.Axiomatical system HST^{#}as paraconsistent generalization of Hrbacek set theory HST is considered

Author's Profile

Analytics

Added to PP
2018-02-09

Downloads
226 (#80,149)

6 months
79 (#69,938)

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?