File:Rieger-Nishimura.svg
Vai alla navigazione
Vai alla ricerca
Dimensioni di questa anteprima PNG per questo file SVG: 560 × 480 pixel. Altre risoluzioni: 280 × 240 pixel | 896 × 768 pixel | 1 195 × 1 024 pixel | 2 389 × 2 048 pixel.
File originale (file in formato SVG, dimensioni nominali 560 × 480 pixel, dimensione del file: 6 KB)
Dettagli
| Descrizione | 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. |
| Data | |
| Fonte | Opera propria |
| Autore | EmilJ |
Licenza
Io, detentore del copyright su quest'opera, dichiaro di pubblicarla con le seguenti licenze:
|
È permesso copiare, distribuire e/o modificare questo documento in base ai termini della GNU Free Documentation License, Versione 1.2 o successive pubblicata dalla Free Software Foundation; senza alcuna sezione non modificabile, senza testo di copertina e senza testo di quarta di copertina. Una copia della licenza è inclusa nella sezione intitolata Testo della GNU Free Documentation License. |
Questo file è licenziato in base ai termini delle licenze Creative Commons Attribuzione-Condividi allo stesso modo 4.0 Internazionale, 3.0 Unported, 2.5 Generico, 2.0 Generico e 1.0 Generico
- Tu sei libero:
- di condividere – di copiare, distribuire e trasmettere quest'opera
- di modificare – di adattare l'opera
- Alle seguenti condizioni:
- attribuzione – Devi fornire i crediti appropriati, un collegamento alla licenza e indicare se sono state apportate modifiche. Puoi farlo in qualsiasi modo ragionevole, ma non in alcun modo che suggerisca che il licenziante approvi te o il tuo uso.
- condividi allo stesso modo – Se remixi, trasformi o sviluppi il materiale, devi distribuire i tuoi contributi in base alla stessa licenza o compatibile all'originale.
Puoi scegliere la licenza che preferisci.
Cronologia del file
Fare clic su un gruppo data/ora per vedere il file come si presentava nel momento indicato.
| Data/Ora | Miniatura | Dimensioni | Utente | Commento | |
|---|---|---|---|---|---|
| attuale | 15:08, 7 apr 2008 | | 560 × 480 (6 KB) | wikimediacommons>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= | |
Utilizzo del file
La seguente pagina usa questo file:
