@misc{indiciae8dac7a10fff4,
  title = {Paraconsistent First-Order Logic with restricted modus ponens rule and infinite hierarchy levels of contradiction \$LP\textasciicircum{}\textbackslash{}\#\_ω\$. Axiomatical system \$HST\textasciicircum{}\textbackslash{}\#\_ω\$, as paraconsistent generalization of Hrbacek set theory HST},
  author = {Jaykov Foukzon},
  year = {2022},
  url = {https://arxiv.org/abs/0805.1481},
  note = {Source identifier: 0805.1481}
}