sántykių lògika, predikatų logikos sritis, nagrinėjanti daugiaviečius predikatus. Nagrinėja bendrąsias loginių santykių savybes, nustato jų tipus ir su jais galimus atlikti veiksmus. Sistemingą loginių santykių tyrimą 19 amžiuje pradėjo A. De Morganas, santykius traktavęs kaip kategorinių teiginių subjekto ir predikato jungtis. Moderniosios santykių logikos pradininku laikomas Ch. S. Peirce’as.
76