Monadic logic
Redirect to:
Monadic predicate calculus