Файл:Cirquents vs sequents.png

Простейшие виды цирквентов можно рассматривать как коллекции секвенций с возможными общими элементами. Этот цирквент представляет коллекцию из трех секвенций < E , F >, < F , G > и < F , H >. Левое вхождение F одновременно принадлежит секвенциям № 1 и № 2, тогда как правое вхождение принадлежит только секвенции № 3.

Я, владелец авторских прав на данную работу, настоящим публикую ее на условиях следующей лицензии:

Этот файл предоставляется в соответствии с лицензией Creative Commons CC0 1.0 Universal Public Domain Dedication.

Лицо, связавшее работу с этим актом, передало работу в общественное достояние, отказавшись от всех своих прав на работу во всем мире в соответствии с законом об авторском праве, включая все смежные и смежные права, в объеме, разрешенном законом. Вы можете копировать, изменять, распространять и исполнять работу, даже в коммерческих целях, и все это без запроса разрешения. http://creativecommons.org/publicdomain/zero/1.0/deed.enCC0Creative Commons Zero, передача в общественное достояниеЛОЖЬЛОЖЬ