Transitive primal infon logic (0)

by Carlos Cotrini, Yuri Gurevich
Venue:The Review of Symbolic Logic