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/

Kategoriler:

logic model