Не то чтобы в нём явно был и and... С другой стороны ещё Deep Inference вспоминаются.
Обычно and запятой обозначают
or соответственно надо ко-запятой
Тогда or — это просто правила, записанные одно за другим...
Пробелом Запятая стоит внутри суждений (judgements) : типа φ,χ ⊢ φ,χ (условно)
Обсуждают сегодня