線形論理
乗法的結合子 tensor、par と線形含意を許容する。(論理積、論理和、含意がある)直観論理に近い。
線形論理には一階のものと高階の拡張があるが、その考え方は標準的である。