直観主義論理の双対は双対直観論理（）である。双対直観論理は矛盾許容論理の一種であり、ブラジリアン論理（）、反直観主義論理（）などと呼ばれる論理と対応している。
直観主義論理からの公理を取り除いたものはとして知られる。
多値論理との関係.
中間論理との関係.
任意の有限ハイティング代数でブール代数でないものは（意味論的に）中間論理を定める。他方で、純粋な直観主義論理における論理式の妥当性は、特定のハイティング代数に結びついたものではなく、あらゆるハイティング代数に関係している。
様相論理との関係.
ラムダ計算.
カリー＝ハワード対応はIPCと直和と直積を持つ単純型付きラムダ計算との間に拡張できる。
形態.
生態.
ジンベエザメは表層性で回遊を行い、動物プランクトンを主食にしている。その他は基本的に底生性で、沿岸の浅海に多く生息し、獲物はサメやエイを含む魚類や甲殻類、頭足類、貝類、棘皮動物まで多岐に渡る。
分類.
トラフザメ科.
系統.
概要.
都市計画道路.
リードヘルスケア
株式会社リードヘルスケアは、福岡県福岡市に本社を置く、一般用医薬品、医薬部外品、健康食品、介護用品、化粧品、乳製品、日用雑貨などのヘルスケア関連商品の総合卸業者である。前社名は「株式会社アステムヘルスケア」。
事業所一覧.
北海道：札幌営業所、札幌物流センター
自動車部品の工場間輸送は従来内航海運に多くを委ねてきたが、各種情勢の変化から輸送力が飽和しつつあり、増産分を鉄道輸送に移管する方針が採られたために設定された列車である。モーダルシフトの一環としての意義も有するが、厳密には本来のモーダルシフト（トラック輸送から鉄道・船舶輸送への移行）とは趣旨が異なるものである。
運行体系.
渡辺正行の東京めぐりブンブン大放送
鎮痛剤
鎮痛剤（ちんつうざい、）とは、痛みに対する鎮痛作用を有する医薬品の総称。口語で痛み止め。感覚をなくす麻酔薬とは区別される。
用語.
主な鎮痛剤.
アセトアミノフェンは、低頻度で低用量であれば安全とみなされるが、そうでない場合、致命的な肝機能障害を引き起こす可能性がある。
オピオイド.