Tag: semantics

2 items with this tag.

entailment-using-language-of-logic

soundness-and-completeness