Словарь по логике

Пересечение теорий: Множество формальных теорий (относительно некоторого дедуктивного замыкания) замкнуто относительно пересечения, т.е. пересечение двух формальных теорий есть формальная теория из этого же множества. В частности, пересечение двух конечно-аксиоматизируемых теорий есть конечно-аксиоматизируемая теория. Пересечение двух формальных языков есть формальный язык. Пересечение теории T и языка L есть точный фрагмент теории T в языке L.