Published package / CLIR

logic.paraconsistent

v0.1.0

The Open Logic Text

WorkNumberEditionsFragments
FDE: авторское изложение четырёхзначной семантикиLOGIC-PARACONSISTENT-RESTATEMENT-118
The Open Logic TextThe Open Logic Text (Open Logic Project), commit 1e960be66