Atom-based Approaches to Polyadic Inductive Logic

Tahel Ronel (Manchester)

Frank Adams 1,

Much of unary inductive logic is either based on or formulated in terms of a set of formulae known as the atoms of the language. In this talk, we propose an extension of this concept to polyadic languages, and introduce some of the theory that results from generalising unary principles to non-unary languages along these lines.

Import this event to your Outlook calendar
▲ Up to the top