Hugendubel.info - Die B2B Online-Buchhandlung 

Merkliste
Die Merkliste ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Semantical Investigations in Heyting's Intuitionistic Logic

BuchGebunden
294 Seiten
Englisch
Springer Netherlandserschienen am31.03.1981
From the point of view of non-classical logics, Heyting's implication is the smallest implication for which the deduction theorem holds. This book studies properties of logical systems having some of the classical connectives and implication in the neighbourhood of Heyt­ ing's implication.mehr
Verfügbare Formate
BuchGebunden
EUR160,49
BuchKartoniert, Paperback
EUR160,49
E-BookPDF1 - PDF WatermarkE-Book
EUR149,79

Produkt

KlappentextFrom the point of view of non-classical logics, Heyting's implication is the smallest implication for which the deduction theorem holds. This book studies properties of logical systems having some of the classical connectives and implication in the neighbourhood of Heyt­ ing's implication.

Inhalt/Kritik

Inhaltsverzeichnis
Logical Systems and Semantics.- Introducing HPC.- The Kripke, Beth and Topological Interpretations for HPC.- Heyting´s Propositional Calculus and Extensions.- Three Intermediate Logics.- Formulas in One Variable.- Propositional Connectives.- The Interpolation Theorem.- Second Order Propositional Calculus.- Modified Kripke Interpretation.- Theories in HPC 1.- Theories in HPC 2.- Completeness of HPC with Respect to RE and Post Structures.- Undecidability Results.- Decidability Results.mehr