Intuitionistic Basis for Input/Output Logic

Xavier Parent, Dov Gabbay, Leendert van der Torre

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

6 Scopus citations


It is shown that I/O logic can be based on intuitionistic logic instead of classical logic. More specifically, it is established that, when going intuitionistic, a representation theorem is still available for three of the four (unconstrained) original I/O operations. The trick is to see a maximal consistent set as a saturated one. The axiomatic characterization is as in the classical case. Therefore, the choice between the two logics does not make any difference for the resulting framework.

Original languageEnglish
Title of host publicationOutstanding Contributions to Logic
Number of pages24
StatePublished - 2014

Publication series

NameOutstanding Contributions to Logic
ISSN (Print)2211-2758
ISSN (Electronic)2211-2766

Bibliographical note

Publisher Copyright:
© 2014, Springer Science+Business Media Dordrecht.


  • Completeness
  • Deontic logic
  • I/O Logic
  • Intuitionistic logic
  • Saturated set


Dive into the research topics of 'Intuitionistic Basis for Input/Output Logic'. Together they form a unique fingerprint.

Cite this