-
フォーマットのシフトーモンターギュ文法のシュガーリング１７
直感主義論理に基づいた簡単なドイツ語の文法を考察する。レキシコンは、基本表現に範疇を割り当てていく。範疇文法…
-
フォーマットのシフトーモンターギュ文法のシュガーリング１６
ここでは、直感主義論理に基づいた簡単なドイツ語の文法を導入する。直感主義は、論理の系統の中で様相論理などと共…
-
フォーマットのシフトーモンターギュ文法のシュガーリング１５
(46) Die Hilfsregelungen(REFL) C (a, a) > C (a, REFL…
-
フォーマットのシフトーモンターギュ文法のシュガーリング１４
(40)a. Kategorisieren Sie, was Sie können.b. Kategorisi…
-
フォーマットのシフトーモンターギュ文法のシュガーリング１３
Wollen wir hier die intuitionistische Grammatik für da…
-
フォーマットのシフトーモンターギュ文法のシュガーリング１２
Die einfache Typentheorie ist überhaupt nicht genug fü…
-
フォーマットのシフトーモンターギュ文法のシュガーリング１１
(23)Urteil Wo bedeutet daß A: prop – A ist eine P…
-
フォーマットのシフトーモンターギュ文法のシュガーリング１０
Die intuitionistische Logik wird in der Grammatik eine…
-
フォーマットのシフトーモンターギュ文法のシュガーリング９
Der zweite Unterschied zwischen der DPL- und der DRS S…
-
フォーマットのシフトーモンターギュ文法のシュガーリング８
In den Achtzigerjahren wurde es in der modelltheoretis…