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
Details
The content you want is available to Zendy users.Already have an account? Click here. to sign in.