Intuitionistic logic: Intuitionism, Intuitionistic type theory, Arend Heyting, Constructivism (mathematics), Sequent calculus, Kripke semantics, ... interpretation, Intermediate logic - Couverture souple

 
9786130202651: Intuitionistic logic: Intuitionism, Intuitionistic type theory, Arend Heyting, Constructivism (mathematics), Sequent calculus, Kripke semantics, ... interpretation, Intermediate logic
Couverture souple
ISBN 10 : 6130202652 ISBN 13 : 9786130202651
Editeur : Alphascript Publishing, 2010

Synopsis

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online.Intuitionistic logic, or constructivist logic, is the symbolic logic system originally developed by Arend Heyting to provide a formal basis for Brouwer''s programme of intuitionism. The system preserves justification, rather than truth, across transformations yielding derived propositions. From a practical point of view, there is also a strong motivation for using intuitionistic logic, since it has the existence property, making it also suitable for other forms of mathematical constructivism.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Alphascript Publishing
Date d'édition
2010
Langue
anglais
ISBN 10 
6130202652
ISBN 13 
9786130202651
Reliure
Broché
Nombre de pages
72
Éditeur
Miller Frederic P., Vandome Agnes F., McBrewster John
Coordonnées du fabricant
non disponible
Personne responsable
non disponible