Логический график - Logical graph

Логический граф представляет собой особый тип схематической структуры в любом одном из нескольких систем графического синтаксиса , что Чарльз Сандерс Пирс , разработанный для логики .

В своих статьях по качественной логике , энтуитивным графам и экзистенциальным графам Пирс разработал несколько версий графического формализма или теоретико-графического формального языка , предназначенного для интерпретации в логике.

За столетие, прошедшее после того, как Пирс инициировал эту линию развития, множество формальных систем разветвилось от того, что абстрактно является той же самой формальной базой теоретико-графовых структур.

Смотрите также

внешние ссылки

СМИ, связанные с логическими графами на Викискладе?