s/n4785414

Information
has gloss	(noun) (logic) an attribute of a logical system that is so constituted that a contradiction arises if any proposition is introduced that cannot be derived from the axioms of the system completeness
lexicalization	eng: completeness
subclass of	(noun) correct and valid reasoning logicality, logicalness

Links
has category	(noun) the branch of philosophy that analyzes inference logic