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