truth-value semantics

alternative to Tarskian semantics primarily championed by Ruth Barcan Marcus

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

Catégories :

logic model