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

Abstract

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
PublisherSpringer
Pages263-286
Number of pages24
DOIs
StatePublished - 2014

Publication series

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

Bibliographical note

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

Keywords

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

Fingerprint

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

Cite this