id	author	title	date	pages	extension	mime	words	sentence	flesch	summary	cache	txt
tt44pk05x2v	Ben Middleton	A New Solution to the Curry Paradox	2020		.txt	text/plain	129	5	31	Second, I prove completeness for BQLCDR, the extension of BQLCD obtained by only allowing reflexive worlds to serve as counterexamples to logical consequence. First, I construct a canonical model for constant domain basic first-order logic (BQLCD), the logic obtained model-theoretically by dropping the requirement on the Kripke models for constant domain intuitionistic first-order logic that the accessibility relation is reflexive.	cache/tt44pk05x2v.txt	txt/tt44pk05x2v.txt