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

Language: English

Published by LAP LAMBERT Academic Publishing Jun 2021, 2021

6203925357 / 9786203925357

  • Softcover
  • New
See all details

Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.

5-star seller

AbeBooks seller since January 11, 2012

Softcover

Condition: New

£ 28.25

£ 19.17 shipping 
Ships from Germany to U.S.A.

Quantity: 2 available

Add to basket
Free 30-day returns

Item description from seller

This item is printed on demand - it takes 3-4 days longer - Neuware -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 Considering only pure sets, the naive set comprehension principle says, for anycondition, that there is a set containing all and only the sets satisfying this condition. Infirst-order logic, this can be formulated as the following schematic principle, where may be any formula in whichy does not occur freely: yxx y . 1.1 Russell's paradox shows that the instance obtained by letting be x x isinconsistent in classical logic. One response to the paradox is to restrict naive setcomprehension by ruling out this and other problematic instances: only for each of somespecial conditions is it claimed there is a set containing all and only the sets satisfyingthe condition. 60 pp. Englisch.

Seller Inventory # 9786203925357

Title
Set theory INC^# based on intuitionistic logic with restricted modus ponens rule
Author
Jaykov Foukzon
Publisher
LAP LAMBERT Academic Publishing Jun 2021
Publication year
2021
Condition
Neu
Binding
Taschenbuch
Language
English
ISBN 10
6203925357
ISBN 13
9786203925357
Item weight
107 grams
Dimensions
220x150x4 mm

BuchWeltWeit Ludwig Meier e.K.

Bergisch Gladbach, Germany

5-star seller

AbeBooks seller since January 11, 2012

Shipping rates from Germany to U.S.A.

Item5 to 15 business days5 to 15 business days
First item£ 19.17£ 19.17
Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.

Payment methods

  • Visa
  • Mastercard
  • American Express
  • Apple Pay
  • Google Pay
  • Bank Wire Transfer
  • Check
  • Paypal

Seller's business information

BuchWeltWeit Ludwig Meier e.K.

Germany

BuchWeltWeit Inh. Ludwig Meier e.K.
Inhaber: Ludwig Meier
De-Gasperi-Str. 8
51469 Bergisch Gladbach
Deutschland

Tel.: +49(0)22028659300
Fax: +49(0)22028659301
E-Mail: info@buchweltweit.de

Registergericht: Amtsgericht Köln
Registernummer: HRA 28253

Umsatzsteuer-Identifikationsnummer: DE815259907

Wir sind zur Teilnahme an einem Streitbeilegungsverfahren vor einer Verbraucherschlichtungsstelle weder verpflichtet noch bereit.