truth-value semantics

alternative to Tarskian semantics primarily championed by Ruth Barcan Marcus

카테고리: