#584 - Relabels Directive ICE as Prescriptive ICE. Changes Designative ICE definition to “An Information Content Entity that consists of a set of symbols that designate some Entity.” and adds an equivalence axiom to Descriptive ICE: ‘Information Content Entity’ and (describes some entity).

This commit is contained in:
J Neil Otte
2025-01-03 20:16:32 -05:00
parent 7e3fbab54d
commit 70ce2adf54

File diff suppressed because it is too large Load Diff