Paraconsistent First-Order Logic with infinite hierarchy levels of contradiction

Download Edit this record How to cite View on PhilPapers
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
Categories
(categorize this paper)
PhilPapers/Archive ID
FOUPFL
Revision history
Archival date: 2018-02-09
View upload history
References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Added to PP index
2018-02-09

Total downloads
8 ( #31,946 of 32,567 )

Recent downloads (6 months)
8 ( #27,792 of 32,567 )

How can I increase my downloads?

Monthly downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.