Пётр Испанский написал сочинение из 7 трактатов по логике: «Summulae logicales».
В 7-м трактате «О свойствах терминов» он собрал нововведения, разработанные к тому времени европейскими логиками и грамматиками, а именно - различные логические переходы:
«1. Суппозиция (suppositio);
2. Относительные термины (relativa);
3. Расширение (ampliatio);
4. Ограничение (restrictio);
5. Наименование (appellatio);
6. Распределение (distributio);
7. Исключающие предложения (exceptivae);
8. Удваивающие предложения (reduplicativae);
9. Возникновение и исчезновение качества (incipit et desinit);
10. Перенос значения (alienatio);
11. Предложения, требующие дополнительного истолкования (exponibilia);
12. Конссквенции (consequentiae);
13. Синкатегоремы (syncategoremata);
14. Парадоксы (insolubilia);
15. Связки (copulata);
16. Положение предложений о присущности (Positio propositionum de inesse);
17. Точка зрения (status);
18. Нисхождение и восхождение (descensus et ascensus);
19. Обязательства (obligationes), и другие темы».
Попов П.С., Стяжкин Н.И., Развитие логических идей от античности до эпохи Возрождения, М., «Издательство Московского Университета», 1974 г., с. 186.