On the unity of logic
1993
https://www.sciencedirect.com/science/article/pii/016800729390093S
linear logic
/icons/hr.icon
description
各演算子の極性についての話．
これによって非決定性とかの分類ができる．