Vollständige Systeme modaler und intuitionistischer Logik [1 ed.] 3540414576, 9783540414575 [DJVU]

The authors describe the important generalization of the original Weil conjectures, as given by P. Deligne in his fundam

125 37 4MB

German Pages 88 [193] Year 1968

Table of contents :
Front Matter....Pages I-VII
Modalitätensysteme im Rahmen der klassischen Prädikatenlogik....Pages 1-11
Syntaktische Eigenschaften schnittfreier Modalitätensysteme....Pages 12-21
Beweis des Vollständigkeitssatzes für M ′ und S 4′....Pages 22-32
Einbettung der intuitionistischen Prädikatenlogik in S 4′....Pages 33-43
Semantik der intuitionistischen Prädikatenlogik nach Kripke ....Pages 44-59
Semantik der intuitionistischen Prädikatenlogik nach Beth ....Pages 60-70
Aussagenlogische Modalitätensysteme....Pages 71-84
Back Matter....Pages 85-88

Vollständige Systeme modaler und intuitionistischer Logik [1 ed.]
3540414576, 9783540414575 [DJVU]