Llògica de relacions

Llògica de relacions, és l'estudi formal de les propietats i operacions de les relacions (binarias), iniciat per Charles Sanders Peirce entre 1879 i 1882. Aixina, en llògica de relacions, poden examinar-se les propietats formals de tipos especials de relacions, com les relacions transitivas o les asimètriques, o órdens de certs tipos. També poden examinar-se diverses operacions, com l'obtenció de la converso o del producte relatiu. Els sistemes formals deductivos usats en eixos estudis es coneixen normalment com a càlculs de relacions. la llògica de les relacions es pot utilisar també des de l'àmbit jurídic.

Bibliografia

• The Cambridge Dictionary of Philosophy, Robert Audi (Editor). Cambridge University Press, 1995 - 1999 (Editorial). Pàgina: 616. Consultat el 24 de novembre de 2016.