# The Four Binary Operators of Linear Logic, Part 2

Ordinarily, inference rules in natural deduction are written using a horizontal line, with the known, true, assumed or proven things written above the line and the inferred things written below the line. Here I’ve taken the artistic liberty to use diagonal lines instead of horizontal ones, and so tried to represent the introduction rules for the four binary operators of Linear Logic. In order to fit additive disjunction “plus” into this schema, I’ve broken the inference rule diagonal and written the duplicate inferred introduction below only once. I’m sure no self-respecting logician would do such a thing.

https://en.wikipedia.org/wiki/Linear_logic

https://plato.stanford.edu/entries/logic-linear/

https://en.wikipedia.org/wiki/Natural_deduction

https://equivalentexchange.blog/2012/04/17/the-four-binary-operators-of-linear-logic/

https://equivalentexchange.blog/2011/03/09/j-y-girards-linear-logic/

[*11.60]

<>

## 2 thoughts on “The Four Binary Operators of Linear Logic, Part 2”

1. Gilbert Kirk says:

Further research in the URLs you provided led me to read about Heisenberg’s Uncertainty Principle – one of my early memories from high school physics and a really amazing concept. It is these rediscovered in this creaking phase of my life that makes your blog good mental stimulation – THANKS!

This site uses Akismet to reduce spam. Learn how your comment data is processed.