Algebraic Theory of General Topology: PaperbackHardcover

0 users think it is non-scientific; after 15 it will be moderated.

Victor Porton (ORCID 0000-0001-7064-7975, no affiliation)
Israel
[email protected]

Abstract I add a new inference rule to formal systems in such a way that we introduce additional statements that can be proved without getting rid of being sure in their trueness, so producing a new logic (earlier when this was yet vaguely formulated, I called it “Not Logic” on my theological site). The idea was conceived in my theological musings.

Keywords first-order predicate logic, formal system, not logic, logical system

Competing Interests none

Article text.

0 users think it is non-scientific; after 15 it will be moderated.

Algebraic Theory of General Topology: PaperbackHardcover

Leave a Reply