この理論は,1980年代初頭から,ダームシュタット工科大学 (Technische Universität Darmstadt) のルドルフ・ヴィル (Rudolf Wille),ベルンハルト・ガンター (Bernhard Ganter) とピーター・バーマイスター (Peter Burmeister) らが率いる研究グループによって確立された.しかしながら,その基本的な数学的な定義は,ガレット・ビークホフ (Garrett Birkhoff) によって1930年代に一般格子理論の一部として既に導入された.同じ考えに対する他の以前のアプローチは,さまざまなフランスの研究グループから生じたが,ダームシュタットグループは,この分野を正規化し,数学理論と哲学的な基礎の両方を体系的に考案した.後者は,特にチャールズ・S・ピアース (Charles S. Peirce) を参照するが,ポート・ロイヤル・ロジック (Port-Royal Logic) も参照している.質問:一般格子理論の基本的な定義を提出したのは誰ですか?
ギャレット・ビルコフ