/

Paraconsistent First-Order Logic with restricted modus ponens rule and infinite hierarchy levels of contradiction $LP^\#_{\omega}$. Axiomatical system $HST^\#_{\omega}$, as paraconsistent generalization of Hrbacek set theory HST

Jaykov Foukzon
Arxiv ID: 0805.1481Last updated: 2/16/2022
In this paper paraconsistent first-order logic LP^{#}_{\omega} with restricted modus ponens rule and infinite hierarchy levels of contradiction is proposed. Corresponding paraconsistent set theory KSth^{#}_{\omega} is discussed.Axiomatical system HST^{#}_{\omega} as paraconsistent generalization of Hrbacek set theory HST is considered.

PaperStudio AI Chat

I'm your research assistant! Ask me anything about this paper.

Related papers

About
Pricing
Commercial Disclosure
Contact
© 2023 Paper Studio™. All Rights Reserved.