シークエントは複数の文からなる論理表現であり、という形式をとる。これは、直観的には「A かつ B かつ C かつ… を仮定すれば、P または Q または R または… が証明可能である」という意味に理解することができる（ここで左辺が論理積で、右辺は論理和であることに注意されたい）。前提である左辺は任意個の論理式からなり、左辺が空のシークエントが証明できた場合、その右辺は無前提に主張可能なトートロジーだということになる。逆に、結論である右辺が空となるなら、左辺は矛盾していると言える。LK（古典論理）では、右辺もまた任意個の論理式からなるが、LJ（直観論理）では、右辺には多くとも一つの文しか置くことが許されない。右辺に複数の論理式を置けることと、右縮約規則があるときに排中律が成り立つこととは等価である。ただし、シークエント計算は非常に表現能力が高く、右辺に多数の論理式のある直観論理のシークエント計算も存在する。Jean-Yves Girard の論理体系 LC においては、右辺に高々一個の論理式しか持たない古典論理の自然な定式化も容易に得られている。ここで鍵となるのは、論理的な推論規則と構造に関する推論規則との相互作用である。
カット除去定理（カットじょきょていり、英: Cut-elimination theorem）は、シークエント計算の手法の重要性を示す、数理論理学の主要な結果のひとつである。（数理論理学の）基本定理と呼ぶこともある。ゲルハルト・ゲンツェンが1934年に書いた記念碑的論文 "Investigations into Logical Deduction" で、古典論理と直観論理の体系をそれぞれ形式化したシークエント計算の形式的体系 LK 及び LJ において、最初に証明が与えられた。カット除去定理は、シークエント計算の推論規則であるカット規則を用いて証明可能な式には、カット規則を用いない証明図もまた必ず存在することを示したものである。
ブールジュ大聖堂は翼廊が存在しないことと側廊が二重になっている点で特異である。ステンドグラスは古いものは13世紀に作成されたものであり、16世紀には地元の芸術家ジャン・ルキュイエによって追加された。１３００年頃に５分割構成の西ファサード完成をもって工事が終了した。交差廊のない１３ベイ、五廊式の空間に、二重周歩廊(放射状祭室は後の改造で付加された)を備える半円形の内陣端部を加えた平面形はノートル・ダム大聖堂に類似している。(長さ１１８メートル、幅４１メートル、高さ３７.１５メートル)。しかし、身廊壁面の構成はそれとは異なる。
5つのポルタイユ（正面入口）を持ち5つの身廊につながっている西面は、高さ40メートル以上を誇り、フランスのゴシック建築のなかで最大である。その彫刻も巨大で、中央のポルタイユは最後の審判を大きく描き出している。ブールジュ大聖堂は建築史上、他のヨーロッパの大聖堂に影響を及ぼした。ノートルダム・ド・パリはこれより前に作られているが、より後に再建された身廊の丸天井にはその影響がある。ほかにも、ル・マンのサン＝ジュリヤン大聖堂、クータンスの大聖堂、トレド大聖堂などにも影響を与えている。ブールジュ大聖堂で一期工事が終わった部分は、東端から西に向かって堂外を観察してゆくとはっきりわかる。二期工事で作られた部分では、飛梁の高さが拡大されており、また身廊と側郎の窓はガラスの面積を大きくするよう窓のモチーフを変えている。二期以後の工事の改築が始まり、１１６８年に完了した。交差廊のない三廊式バジリカで、半円形の内陣奥壁、周歩廊、および不規則な三つの祭室を有するこの大聖堂の規模は目を見張らせるものがある。(長さ１１３.５０メートル、身廊部幅１５.２５メートル、高さ２４.４０メートル)身廊部幅対高さの比はおよそ１対１.６である。全１２米の空間は、激しく強調された支柱交替により、６分割のノルマン式リヴ・ヴォールトの架かる各２ベイ宛に区分してまとめられている。
スコルジーはカリフォルニアで生まれ、ロサンゼルス市郊外のコビーナ、グレンドラ、クレアモントで少年時代を過ごした。高校は人気ブロガージョシュア・マーシャルと同じ学校に通い、1987年度は同じクラスであった。ウェッブ・スクール・オブ・カリフォルニアを中退、シカゴ大学へ入学し、ピューリッツァー賞作家デイヴィッド・オーバーンとクラスメイトとなる。またスコルジーの指導教授は、一時ピューリッツァー賞作家のソール・ベローであった。スコルジーは大学の学生オンブズマンとなり、ベローの研究コースを途中で投げ出す。1989年から1990年まで、学生紙 The Chicago Maroon の編集主任も務める。1991年大学を卒業し、Fresno Bee 紙の映画評を書く仕事に就き、のちコラムも任されるようになる。1995年 Kristine Ann Blauser と結婚。翌1996年アメリカ・オンライン専属のライター、そして編集者として雇われ、バージニア州スターリングへ妻と共に転居する。1998年レイオフに遭い、フリーランスのライターとして活動を開始する。2001年妻子と共にオハイオ州ブラッドフォードへ移住。スコルジーはジョン・ウィルクス・ブースと遠い血縁関係がある。2010年5月スコルジーはアメリカSFファンタジー作家協会会長選挙において当選（対抗候補はいなかった）、7月に就任した。2007年の前回の同会長選では、候補者名簿外ながらも自身への投票を呼びかけ、組織の未来のために名簿に載った候補者のビジョンに異議を唱えたが、落選していた。3期を勤めた後、2013年に退任した。