Spaces:
Running
Running
| graph TD | |
| DefAEIO("DefAEIO Categorical forms") | |
| DefFig("DefFig Figures 1,2,3") | |
| Iconv("Iconv I-conversion") | |
| Aconv("Aconv A-conversion") | |
| Barbara("Barbara Barbara") | |
| Darii("Darii Darii") | |
| Ferio("Ferio Ferio") | |
| Darapti("Darapti Darapti") | |
| Felapton("Felapton Felapton") | |
| Disamis("Disamis Disamis") | |
| Datisi("Datisi Datisi") | |
| Bocardo("Bocardo Bocardo") | |
| Ferison("Ferison Ferison") | |
| DefAEIO --> Barbara | |
| DefFig --> Barbara | |
| DefAEIO --> Darii | |
| DefFig --> Darii | |
| DefAEIO --> Ferio | |
| DefFig --> Ferio | |
| Aconv --> Darapti | |
| Darii --> Darapti | |
| Aconv --> Felapton | |
| Ferio --> Felapton | |
| Iconv --> Disamis | |
| Darii --> Disamis | |
| Aconv --> Datisi | |
| Darii --> Datisi | |
| Barbara --> Bocardo | |
| Aconv --> Ferison | |
| Ferio --> Ferison | |
| classDef axiom fill:#e74c3c,color:#fff,stroke:#c0392b | |
| classDef definition fill:#3498db,color:#fff,stroke:#2980b9 | |
| classDef theorem fill:#1abc9c,color:#fff,stroke:#16a085 | |
| class Iconv,Aconv,Barbara,Darii,Ferio axiom | |
| class DefAEIO,DefFig definition | |
| class Darapti,Felapton,Disamis,Datisi,Bocardo,Ferison theorem |