Intuitionistic Basis for Input/Output Logic

Xavier Parent; Dov Gabbay; Leendert van der Torre

doi:10.1007/978-94-007-7759-0_13

Intuitionistic Basis for Input/Output Logic

Xavier Parent, Dov Gabbay, Leendert van der Torre

Department of Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

7 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 language	English
Title of host publication	Outstanding Contributions to Logic
Publisher	Springer
Pages	263-286
Number of pages	24
DOIs	https://doi.org/10.1007/978-94-007-7759-0_13
State	Published - 2014

Publication series

Name	Outstanding Contributions to Logic
Volume	3
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

Access to Document

10.1007/978-94-007-7759-0_13

Cite this

@inbook{0bb213977a8940e4bb98a7611f34ef0d,

title = "Intuitionistic Basis for Input/Output Logic",

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.",

keywords = "Completeness, Deontic logic, I/O Logic, Intuitionistic logic, Saturated set",

author = "Xavier Parent and Dov Gabbay and Torre, {Leendert van der}",

note = "Publisher Copyright: {\textcopyright} 2014, Springer Science+Business Media Dordrecht.",

year = "2014",

doi = "10.1007/978-94-007-7759-0_13",

language = "אנגלית",

series = "Outstanding Contributions to Logic",

publisher = "Springer",

pages = "263--286",

booktitle = "Outstanding Contributions to Logic",

}

TY - CHAP

T1 - Intuitionistic Basis for Input/Output Logic

AU - Parent, Xavier

AU - Gabbay, Dov

AU - Torre, Leendert van der

PY - 2014

Y1 - 2014

N2 - 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.

AB - 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.

KW - Completeness

KW - Deontic logic

KW - I/O Logic

KW - Intuitionistic logic

KW - Saturated set

UR - http://www.scopus.com/inward/record.url?scp=85067924981&partnerID=8YFLogxK

U2 - 10.1007/978-94-007-7759-0_13

DO - 10.1007/978-94-007-7759-0_13

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.chapter???

AN - SCOPUS:85067924981

T3 - Outstanding Contributions to Logic

SP - 263

EP - 286

BT - Outstanding Contributions to Logic

PB - Springer

ER -

Intuitionistic Basis for Input/Output Logic

Abstract

Publication series

Bibliographical note

Keywords

Access to Document

Other files and links

Fingerprint

Cite this