Algebraische Semantik

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Die Praxis, ein logisches System durch algebraische Strukturen darzustellen, in denen logische Junktoren, Schlussregeln und Konsequenz entsprechenden algebraischen Operationen, Gleichungen oder Ordnungsrelationen entsprechen, sodass semantische Folgerung durch algebraische Identitäten oder Ungleichungen erfasst wird.