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
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.
The D-Completeness of T→.R. K. Meyer & M. W. Bunder - 2011 - 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.
A Spurious Paradox.Danny Frederick - manuscript
Modus Ponens Under the Restrictor View.Moritz Schulz - 2018 - Journal of Philosophical Logic 47 (6):1001-1028.
Chancy Modus Ponens.Sven Neth - 2019 - Analysis 79 (4):632-638.
Curry’s Paradox, Generalized Contraction Rule and Depth Relevance.Francisco Salto, Gemma Robles & José M. Méndez - 2018 - In Konstantinos Boudouris (ed.), Proceedings XXIII world Congress Philosophy. Charlottesville: Philosophy Documentation Center. pp. 35-39.
Curry’s Paradox, Generalized Modus Ponens Axiom and Depth Relevance.Gemma Robles & José M. Méndez - 2014 - Studia Logica 102 (1):185-217.
Modus Ponens Defended.Justin Bledin - 2015 - Journal of Philosophy 112 (2):57-83.
An Intuitionistic Version of Cantor's Theorem.Dario Maguolo & Silvio Valentini - 1996 - Mathematical Logic Quarterly 42 (1):446-448.
Sorites is no threat to modus ponens: a reply to Kochan.Colin Howson - 2009 - International Studies in the Philosophy of Science 23 (2):209-212.
Intuitionistic propositional logic with Galois connections.Wojciech Dzik, Jouni Järvinen & Michiro Kondo - 2010 - Logic Journal of the IGPL 18 (6):837-858.
Vagueness and Intuitionistic Logic.Ian Rumfitt - forthcoming - In Alexander Miller (ed.), Language, Logic,and Mathematics: Themes from the Philosophy of Crispin Wright. Oxford University Press.
Carroll’s Paradox from the viewpoints of Wittgenstein, Ibn Sīnā, and Tūsī.Mahdi Azimi - 2017 - Journal of Philosophical Theological Research 18 (70):173-194.

Analytics

Added to PP
2021-06-20

Downloads
210 (#96,558)

6 months
90 (#52,969)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

The Solution of the Invariant Subspace Problem. Part I. Complex Hilbert space.Jaykov Foukzon - 2022 - Journal of Advances in Mathematics and Computer Science 37 (10):51-89.

Add more citations

References found in this work

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

Add more references