wiki_research

personal research wiki
git clone https://a3nm.net/git/wiki_research/
Log | Files | Refs

guarded_structure (277B)

      1 # Guarded structure
      2 
      3 A guarded [structure] is a [structure] S where either:
      4 - all [relation]s are empty or
      5 - there is a [relation] and a [fact] F (called "guard") such that
      6   - the [active_domain] of F is the [active_domain] of S
      7 
      8 Up: [structure]
      9 
     10 See also: [guarded_fragment]