Assertion: propositional logic | /r/HasProperty | complete
Facets:
value: strongly
type: DEGREE
value: with respect to probabilistic semantics
type: OTHER
Source sentences:
text: It can be shown that classical propositional logic is (strongly) sound and complete with respect to probabilistic semantics:
text: It can be shown that classical propositional logic is (strongly) sound and complete with respect to Adams’ probabilistic semantics: