Nuprl "Classical" Library

Three Kleene var formula formula_equality
assignment valuation partial_valuation formula_satisfaction formula_falsification
sat_lemmas full_assignment sequent sequent_equality formula_list
sequent_rank sequent_satisfaction sequent_falsification sequent_sat_lemmas full_sequent_assignment
sequent_valid elimination