TY  - RPRT
TI  - Paraconsistent First-Order Logic with restricted modus ponens rule and infinite hierarchy levels of contradiction $LP^\#_ω$. Axiomatical system $HST^\#_ω$, as paraconsistent generalization of Hrbacek set theory HST
AU  - Jaykov Foukzon
PY  - 2022
UR  - https://arxiv.org/abs/0805.1481
ID  - 0805.1481
ER  -