Membership

data GodelMembership

data GoguenMembership

data LukasiewiczMembership