free logic

form of logic with fewer existential presuppositions than classical logic

Categories: