• DOI:10.1215/00294527-2019-0033
Corpus ID: 1144320

Questions and dependency in intuitionistic logic

@article{Ciardelli2020QuestionsAD,
  title={Questions and dependency in intuitionistic logic},
  author={Ivano Ciardelli and Rosalie Iemhoff and F. Yang},
  journal={Notre Dame J. Formal Log.},
  year={2020},
  volume={61},
  pages={75-115}
}

Ivano Ciardelli, Rosalie Iemhoff, F. Yang

Published 2020

Computer Science, Mathematics

Notre Dame J. Formal Log.

In recent years, the logic of questions and dependencies has been investigated in the closely related frameworks of inquisitive logic and dependence logic. These investigations have assumed classical logic as the background logic of statements, and added formulas expressing questions and dependencies to this classical core. In this paper, we broaden the scope of these investigations by studying questions and dependency in the context of intuitionistic logic. We propose an intuitionistic team… CONTINUE READING

View PDF on arXiv

Save to Library

Create Alert

Cite

Launch Research Feed