Book "Set theory INC^# based on intuitionistic logic with restricted modus ponens rule"

LAP LAMBERT Academic Publishing (2021)
  Copy   BIBTEX

Abstract

In this book set theory INC# based on intuitionistic logic with restricted modus ponens rule is proposed. It proved that intuitionistic logic with restricted modus ponens rule can to safe Cantor naive set theory from a triviality

Categories

Keywords

Reprint years

Links

PhilArchive

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Set theory INC# based on intuitionistic logic with restricted modus ponens rule.Jaykov Foukzon (ed.) - 2021 - AP LAMBERT Academic Publishing (June 23, 2021).
Set Theory INC# Based on Intuitionistic Logic with Restricted Modus Ponens Rule (Part. I).Jaykov Foukzon - 2021 - Journal of Advances in Mathematics and Computer Science 36 (2):73-88.
Set Theory INC# Based on Infinitary Intuitionistic Logic with Restricted Modus Ponens Rule (Part.II) Hyper inductive definitions.Jaykov Foukzon - 2021 - Journal of Advances in Mathematics and Computer Science 36 (4):22.
Internal Set Theory IST# Based on Hyper Infinitary Logic with Restricted Modus Ponens Rule: Nonconservative Extension of the Model Theoretical NSA.Jaykov Foukzon - 2022 - Journal of Advances in Mathematics and Computer Science 37 (7): 16-43.
Set Theory INC_{∞^{#}}^{#} Based on Infinitary Intuitionistic Logic with Restricted Modus Ponens Rule (Part III).Hyper inductive definitions. Application in transcendental number theory.Jaykov Foukzon - 2021 - Journal of Advances in Mathematics and Computer Science 36 (8):43.
The Solution of the Invariant Subspace Problem. Complex Hilbert space. Part I.Jaykov Foukzon - 2022 - Journal of Advances in Mathematics and Computer Science 37 (10):51-89.
The D-Completeness of T→.R. K. Meyer & M. W. Bunder - 2011 - Australasian Journal of Logic 8:1-8.
Semantic Incompleteness of Hilbert system for a Combination of Classical and Intuitionistic Propositional Logic.Masanobu Toyooka & Katsuhiko Sano - 2023 - Australasian Journal of Logic 20 (3):397-411.
Formalizations For The Consequence Relation Of Visser's Propositional Logic.Katsumi Sasaki - 1999 - Reports on Mathematical Logic:65-78.
Lattice BCK logics with Modus Ponens as unique rule.Joan Gispert & Antoni Torrens - 2014 - Mathematical Logic Quarterly 60 (3):230-238.

Analytics

Added to PP
2021-07-02

Downloads
142 (#130,838)

6 months
42 (#109,023)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references