構造規則にはもう少し説明が必要である。規則の名称は Weakening (W)、Contraction (C)、Permutation (P) であり、日本語で言えばそれぞれ「弱化規則」、「縮約規則」、「転置規則」である。弱化規則は任意の要素を付け加える。直観的には前提に何かを加えるというのは証明でもよくあることで自然である。帰結は要素の論理和となっているため、どちらかが成り立っていればよいため、証明されていない式を追加しても成り立つのである。縮約規則と転置規則は、記述順序（転置規則）や同じ式が複数個登場すること（縮約規則）が問題とならないことを示している。従って、列ではなく集合とみなすことができる。シークエント計算から構造規則の一部を除いたものを部分構造論理と呼ぶ。この場合、逆に列としての意味を重視する。
例として (A ∨ ¬A) すなわち排中律の導出過程を示す。この導出は構文的計算の厳密に形式的な構造を強調している。例えば、上述の右論理規則は常にシークエントの右辺の最初の論理式に適用されている。この厳格な推論は最初は分かりにくいかもしれないが、形式論理における「文法」と「意味」の根本的な違いを示している。A ∨ ¬A という論理式と ¬A ∨ A という論理式は同じ「意味」だが、形式的な導出過程においては異なるものとして扱われる。しかし、推論をより簡単にするために補題（lemma）すなわち何らかの標準的な導出をもたらす事前定義された図式を導入することもある。例えば、以下のような変換がある。この推論を導出する規則適用過程が分かっていれば、これを証明の中で略記法として使うことができる。しかし、よい補題は証明を読みやすくするが、かえって複雑化させる場合もあり、その選択は単純ではない。これは特に証明論を使った自動化演繹で重要となる。
シークエント計算 LK は1934年、ゲルハルト・ゲンツェンが自然演繹を研究する道具として生み出した。その後、論理導出を行うのに非常に有効であることから普及した。LK（エルケー、エルカー） という名称はドイツ語の Logischer Kalkül（論理計算）に由来する。
シークエント計算ではシークエントの列で証明が記述され、各シークエントは証明過程で既に出現したシークエントに後述する推論規則を適用することで導出される（シークエントとは、命題群の論理積を前提とし、別の命題群の論理和を帰結とする論理的帰結関係を表す論理式の並びである）。
シークエント計算（シークエントけいさん、英: Sequent calculus）は、一階述語論理や特殊な命題論理で広く用いられる演繹手法である。類似の手法もシークエント計算と呼ぶことがあるので、LK と呼んで区別することがある。また類似の手法も含め、総称してゲンツェン・システムとも呼ばれる。シークエント計算とその概念全般は証明論や数理論理学において重要な意味を持つ。以下では LK について解説する。
ディオクレティアヌスによる行政改革のもと、トラキア属州の領域は4つの小さな州（トラキア、ハエミモントゥス、ロドピ、エウロペ）に分割された。新たなトラキア属州の領域は旧領域の北西部からなり、ロドペとハイモス山の間を流れるヘブロス川上流の谷や、3世紀後半には州都となるフィリッポポリスなどを含んでいた。トラキア属州は執政官級の総督が統治した。トラキアを分割して設置された4つの属州および、モエシアを分割して設置された2つの属州（モエシア、スキュティア）は併せてトラキア管区に分類され、さらにはオリエンス道に含まれた。軍事的には全ての領域はマギステル・ミリトゥム・ペル・トラキアス（トラキア方面軍区司令官）の指揮下に置かれていた。
毎週、様々な人をゲストに招き、食育・健康・文化などについて語る番組。番組の後半に「理恵の1分レシピ」のコーナーを設けてあり、野菜や果物に関しての知識を語る。
小浜城のある塩松地方（現在の福島県二本松市の一部を含む）は、室町時代には石橋氏の所領であった。小浜城はその家臣・大内氏が築いたといわれている。永禄11年（1568年）、小浜城主・大内義綱は田村氏に通じて主家の石橋尚義を追放し、塩松地方一帯を支配下に置いた。大内氏はその後、田村氏からの独立を目論んで伊達氏・蘆名氏の側に転じた。天正12年（1584年）に伊達政宗が家督を継ぐと、当主・大内定綱は引き続き伊達氏への従属を誓ったが、翌年には離反し、蘆名氏に属する。これに対し、政宗は自ら軍を率いて塩松地方へ攻め込み、支城の小手森城を攻め落とすと、その勢いで塩松地方の制圧に成功した。小浜城の大内定綱は蘆名氏を頼って逃亡し、政宗は小浜城へ無血入城することができた。この後政宗は小浜城を二本松氏攻撃の拠点とし、天正14年（1586年）8月までの約1年間滞在した。政宗の父・輝宗が二本松義継に拉致殺害された事件（粟之巣の変事）が起きたのもこの小浜城滞在期間中である。なお、定綱は郡山合戦の際に伊達成実の調略によって帰参し、後に伊達家の重臣となった。天正19年（1591年）、奥州仕置によって塩松が蒲生氏郷領となると、家臣の蒲生忠右衛門が2万5千石を与えられて小浜城代となった。現在、本丸跡に残されている石垣はこの時築造されたものである。その後、上杉氏時代は山浦景国、再蒲生時代は玉井貞右が城代となり、寛永4年（1627年）廃城となった。