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

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].

Author's Profile

Analytics

Added to PP
2021-06-20

Downloads
179 (#69,098)

6 months
77 (#49,182)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?