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

(ed.)
AP LAMBERT Academic Publishing (June 23, 2021) (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. Similar results for paraconsistent set theories were obtained in author papers [13]-[16].

Categories

Keywords

Reprint years

ISBN(s)

6203925357

Other Versions

No versions found

View all bargains

Buy this book

Links

PhilArchive

External links

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 (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.
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.
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 D-Completeness of T→.R. K. Meyer & M. W. Bunder - 2010 - Australasian Journal of Logic 8:1-8.
Formalizations For The Consequence Relation Of Visser's Propositional Logic.Katsumi Sasaki - 1999 - Reports on Mathematical Logic:65-78.
The Solution of the Invariant Subspace Problem. Complex Hilbert space. Part I.External non-Archimedean field {∗}^ℝ_{c}^{#} by Cauchy completion of the internal non-Archimedean field {∗}^ℝ.Jaykov Foukzon - 2022 - Journal of Advances in Mathematics and Computer Science 37 (10):51-89.
Lattice BCK logics with Modus Ponens as unique rule.Joan Gispert & Antoni Torrens - 2014 - Mathematical Logic Quarterly 60 (3):230-238.
Modus Ponens Under the Restrictor View.Moritz Schulz - 2018 - Journal of Philosophical Logic 47 (6):1001-1028.

Analytics

Added to PP
2021-06-20

Downloads
545 (#51,023)

6 months
150 (#29,535)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Add more citations

References found in this work

Lectures on the Curry-Howard isomorphism.Morten Heine Sørensen - 2006 - Boston: Elsevier. Edited by Paweł Urzyczyn.

Add more references