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