File:Rieger-Nishimura.svg
此SVG文件的PNG预览的大小：560 × 480像素。 其他分辨率：280 × 240像素 | 896 × 768像素 | 1,195 × 1,024像素 | 2,389 × 2,048像素。
原始文件 （SVG文件，尺寸为560 × 480像素，文件大小：6 KB）
摘要
| 描述 | Hasse diagram of the Rieger–Nishimura lattice: the free Heyting algebra over one generator, or intuitionistic propositional formulas in one variable. It is the dual of the Rieger–Nishimura ladder. |
| 日期 | |
| 来源 | 自己的作品 |
| 作者 | EmilJ |
许可协议
我，本作品著作权人，特此采用以下许可协议发表本作品：
|
已授权您依据自由软件基金会发行的无固定段落及封面封底文字（Invariant Sections, Front-Cover Texts, and Back-Cover Texts）的GNU自由文件许可协议1.2版或任意后续版本的条款，复制、传播和／或修改本文件。该协议的副本请见“GNU Free Documentation License”。 |
- 您可以自由地：
- 共享 – 复制、发行并传播本作品
- 修改 – 改编作品
- 惟须遵守下列条件：
- 署名 – 您必须对作品进行署名，提供授权条款的链接，并说明是否对原始内容进行了更改。您可以用任何合理的方式来署名，但不得以任何方式表明许可人认可您或您的使用。
- 相同方式共享 – 如果您再混合、转换或者基于本作品进行创作，您必须以与原先许可协议相同或相兼容的许可协议分发您贡献的作品。
您可以选择您需要的许可协议。
文件历史
点击某个日期/时间查看对应时刻的文件。
| 日期/时间 | 缩略图 | 大小 | 用户 | 备注 | |
|---|---|---|---|---|---|
| 当前 | 2008年4月7日 (一) 14:08 | | 560 × 480（6 KB） | EmilJ | {{Information |Description=Hasse diagram of the Rieger-Nishimura lattice: the free Heyting algebra over one generator, or intuitionistic propositional formulas in one variable |Source=self-made |Date=2008-04-06 |Author= EmilJ |Permission= | |
文件用途
以下页面使用本文件：
全域文件用途
以下其他wiki使用此文件：
- ar.wikipedia.org上的用途
- de.wikipedia.org上的用途
- en.wikipedia.org上的用途
- fr.wikipedia.org上的用途
- id.wikipedia.org上的用途
- it.wikipedia.org上的用途
- ja.wikipedia.org上的用途
- ko.wikipedia.org上的用途
- uk.wikipedia.org上的用途
