View of Extensions of the basic constructive logic for weak consistency BKc1 defined with a falsity constant

Return to Article Details Extensions of the basic constructive logic for weak consistency BKc1 defined with a falsity constant Download Download PDF