View of An analytic tableaux calculus adequate for the logic of existence propositions

Return to Article Details An analytic tableaux calculus adequate for the logic of existence propositions Download Download PDF