Beweistheoretische Semantik

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Ein Ansatz, der logischen Junktoren und Formeln Bedeutung durch ihre Rolle in Inferenzen — Einführungs- und Eliminationsregeln — zuschreibt, statt durch modelltheoretische Wahrheitsbedingungen.