wiki_research

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

first_order_positive (323B)


      1 # Positive first order
      2 
      3 [FO] without [negation] but with [universal_quantification]
      4 
      5 Should be distinguished from [existential_positive_FO] which also disallows [universal_quantification]
      6 
      7 Discussed in [berkholz2019compiling] and in [bova2014complexity]
      8 
      9 Up: [first_order_logic]
     10 
     11 Aliases: positive FO, positive first order