Gaunilo

Gaunilo (named for the rather obscure Gaunilo of Marmoutiers) is a core calculus that Anselm is formalized in terms of an elaboration into. Students of medieval philosophy should recognize the reference.

Details forthcoming