Open AccessInternal Set Theory IST# Based on Hyper Infinitary Logic with Restricted Modus Ponens Rule: Nonconservative Extension of the Model Theoretical NSA
Author(s) -
Jaykov Foukzon
Publication year - 2022
Publication title -
journal of advances in mathematics and computer science
Language(s) - English
Resource type - Journals
ISSN - 2456-9968
DOI - 10.9734/jamcs/2022/v37i730463
Subject(s) - modus ponens , mathematics , extension (predicate logic) , axiom , continuum hypothesis , universal set , discrete mathematics , calculus (dental) , pure mathematics , combinatorics , set (abstract data type) , fuzzy logic , computer science , mathematical analysis , artificial intelligence , programming language , medicine , geometry , dentistry