Outline Semiotic Universe Data
- Specify the semantic domain
Hand list its Heyting operations. - Describe the modality
jand traceG, including required laws. - List the primitive syntactic operators and their arities.
- State the interpretation conditions (monotone, join-continuous, modal, trace, fragment-preserving).
- Identify how fragments are generated and how fusion is defined.