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

preprint2022arXivOpen access

In this paper paraconsistent first-order logic LP^{#}_ω with restricted modus ponens rule and 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.

Explore this paper’s authors, topics and related work.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Write a reviewWrite

No reviews yet.

Add a commentWrite

No comments yet.

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

Abstract

Connections

Building this map preview

Reviews 0

Discussion 0

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

Abstract

Connections

Building this map preview

Reviews 0

Discussion 0

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