Failure of interpolation in constant domain intuitionistic logic.

Grigori Mints Grigory K. Olkhovikov Alasdair Urquhart

Published in: J. Symb. Log. (2013)

Keyphrases

intuitionistic logic
classical logic
domain independent
linear logic
relational databases
general purpose
natural deduction