Switch to: Citations

References in:

Set Theory INC_{∞^{#}}^{#} Based on Infinitary Intuitionistic Logic with Restricted Modus Ponens Rule (Part III).Hyper inductive definitions. Application in transcendental number theory.

Journal of Advances in Mathematics and Computer Science 36 (8):43 (2021)

Add references

You must login to add references.

Set theory INC# based on intuitionistic logic with restricted modus ponens rule.Jaykov Foukzon (ed.) - 2021 - AP LAMBERT Academic Publishing (June 23, 2021).details 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. Similar results for paraconsistent set theories were obtained in author papers [13]-[16]. Intuitionistic Logic in Logic and Philosophy of Logic $39.00 new View on Amazon.com Direct download Export citation Bookmark 3 citations

1