Bookcover of Infinitary Logic
Booktitle:

Infinitary Logic

Statement (logic), Mathematical proof, First-order logic

Claud Press (2011-08-26 )

Books loader

Omni badge eligible for voucher
ISBN-13:

978-613-6-80915-1

ISBN-10:
613680915X
EAN:
9786136809151
Book language:
English
Blurb/Shorttext:
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. An infinitary logic is a logic that allows infinitely long statements and/or infinitely long proofs. Some infinitary logics may have different properties from those of standard first-order logic. In particular, infinitary logics may fail to be compact or complete. Notions of compactness and completeness that are equivalent in finitary logic sometimes are not so in infinitary logic. So for infinitary logics the notions of strong compactness and strong completeness are defined. In this article we shall be concerned with Hilbert-type infinitary logics, as these have been extensively studied and constitute the most straightforward extensions of finitary logic. These are not, however, the only infinitary logics that have been formulated or studied. Considering whether a certain infinitary logic named Ω-logic is complete promises to throw light on the continuum hypothesis.
Publishing house:
Claud Press
Website:
http://www.alphascript-publishing.com
Edited by:
Lóegaire Humphrey
Number of pages:
72
Published on:
2011-08-26
Stock:
Available
Category:
General Natural Sciences
Price:
29.00 €
Keywords:
Infinitary, Standard, Particular, Logic, straightforward, Standards, particularity

Books loader

Newsletter

Adyen::amex Adyen::mc Adyen::visa Adyen::cup Adyen::unionpay Paypal CryptoWallet Wire Transfer

  0 products in the shopping cart
Edit cart
Loading frontend
LOADING