Set Theory and Logic

2202 Submissions

[3] viXra:2202.0172 [pdf] submitted on 2022-02-27 07:30:43

Bayes Theorem

Authors: James Edwin Rock
Comments: 1 Page.

A simple explanation of the use of Bayes Theorem with AIDS testing results.
Category: Set Theory and Logic

[2] viXra:2202.0090 [pdf] submitted on 2022-02-13 23:12:04

Internal Set Theory Ist^{}based on Gyper Infinitary Logic with Restricted Modus Ponens Rule

Authors: Jaykov Foukzon
Comments: 20 Pages.

In this paper we deal with set theory NC_{∞}^{} based on gyper infinitary logic with Restricted Modus Ponens Rule.Nonconservative extensions of the canonical internal set theories IST and HST are proposed.
Category: Set Theory and Logic

[1] viXra:2202.0067 [pdf] submitted on 2022-02-13 02:06:23

Inconsistent Number Systems,nowel Development.

Authors: Jaykov Foukzon
Comments: 60 Pages.

In this paper we dealin using paraconsistent first order logic LP_{ω}^{#}=∪_{n<ω}LP_{n}^{#} with restricted modus ponens rule and infinite levels of a contradiction [1]-[4], where LP_{n}^{#} is an paraconsistent first order logic with n levels of a contradiction.
Category: Set Theory and Logic