truth-value semantics

alternative to Tarskian semantics primarily championed by Ruth Barcan Marcus

en-US/ˈtɹuθ - ˈvælju sɪˈmæntɪks/
en-GB/ˈtɹuːθ - ˈvæljuː sɪˈmæntɪks/

ক্যাটাগরি:

logic model