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
135 (#79,981)

6 months
37 (#87,009)

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?