Опубликованный пакет / CLIR
logic.paraconsistent
v0.1.0The Open Logic Text
| Работа | Номер | Редакций | Фрагментов |
|---|---|---|---|
| FDE: авторское изложение четырёхзначной семантики | LOGIC-PARACONSISTENT-RESTATEMENT-1 | 1 | 8 |
| The Open Logic Text | The Open Logic Text (Open Logic Project), commit 1e960be | 6 | 6 |