Multi-type display calculus for semi de morgan logic

Giuseppe Greco; Fei Liang; M. Andrew Moshier; Alessandra Palmigiano

doi:10.1007/978-3-662-55386-2_14

Multi-type display calculus for semi de morgan logic

Giuseppe Greco, Fei Liang^*, M. Andrew Moshier, Alessandra Palmigiano

^*Corresponding author for this work

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

Abstract

We introduce a proper multi-type display calculus for semi De Morgan logic which is sound, complete, conservative, and enjoys cut-elimination and subformula property. Our proposal builds on an algebraic analysis of semi De Morgan algebras and applies the guidelines of the multi-type methodology in the design of display calculi.

Original language	English
Title of host publication	Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, Proceedings
Editors	Juliette Kennedy, Ruy J.G.B. de Queiroz
Publisher	Springer Verlag
Pages	199-215
Number of pages	17
ISBN (Print)	9783662553855
DOIs	https://doi.org/10.1007/978-3-662-55386-2_14
Publication status	Published - 1 Jan 2017
Externally published	Yes
Event	24th International Workshop on Logic, Language, Information, and Computation, WoLLIC 2017 - London, United Kingdom Duration: 18 Jul 2017 → 21 Jul 2017

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	10388 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	24th International Workshop on Logic, Language, Information, and Computation, WoLLIC 2017
Country/Territory	United Kingdom
City	London
Period	18/07/17 → 21/07/17

Funding

A. Palmigiano—This research is supported by the NWO Vidi grant 016.138.314, the NWO Aspasia grant 015.008.054, and a Delft Technology Fellowship awarded to the second author in 2013.

Funders	Funder number
Nederlandse Organisatie voor Wetenschappelijk Onderzoek	015.008.054, 016.138.314

Access to Document

10.1007/978-3-662-55386-2_14

Persistent URL (handle)

Persistent link

Cite this

Greco, G., Liang, F., Moshier, M. A., & Palmigiano, A. (2017). Multi-type display calculus for semi de morgan logic. In J. Kennedy, & R. J. G. B. de Queiroz (Eds.), Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, Proceedings (pp. 199-215). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10388 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-662-55386-2_14

Greco, Giuseppe ; Liang, Fei ; Moshier, M. Andrew et al. / Multi-type display calculus for semi de morgan logic. Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, Proceedings. editor / Juliette Kennedy ; Ruy J.G.B. de Queiroz. Springer Verlag, 2017. pp. 199-215 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{7e4153e7e4184805a72eb1a0ee3b4979,

title = "Multi-type display calculus for semi de morgan logic",

abstract = "We introduce a proper multi-type display calculus for semi De Morgan logic which is sound, complete, conservative, and enjoys cut-elimination and subformula property. Our proposal builds on an algebraic analysis of semi De Morgan algebras and applies the guidelines of the multi-type methodology in the design of display calculi.",

author = "Giuseppe Greco and Fei Liang and Moshier, {M. Andrew} and Alessandra Palmigiano",

year = "2017",

month = jan,

day = "1",

doi = "10.1007/978-3-662-55386-2_14",

language = "English",

isbn = "9783662553855",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "199--215",

editor = "Juliette Kennedy and {de Queiroz}, {Ruy J.G.B.}",

booktitle = "Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, Proceedings",

address = "Germany",

note = "24th International Workshop on Logic, Language, Information, and Computation, WoLLIC 2017 ; Conference date: 18-07-2017 Through 21-07-2017",

}

Greco, G, Liang, F, Moshier, MA & Palmigiano, A 2017, Multi-type display calculus for semi de morgan logic. in J Kennedy & RJGB de Queiroz (eds), Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 10388 LNCS, Springer Verlag, pp. 199-215, 24th International Workshop on Logic, Language, Information, and Computation, WoLLIC 2017, London, United Kingdom, 18/07/17. https://doi.org/10.1007/978-3-662-55386-2_14

Multi-type display calculus for semi de morgan logic. / Greco, Giuseppe; Liang, Fei; Moshier, M. Andrew et al.
Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, Proceedings. ed. / Juliette Kennedy; Ruy J.G.B. de Queiroz. Springer Verlag, 2017. p. 199-215 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10388 LNCS).

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

TY - GEN

T1 - Multi-type display calculus for semi de morgan logic

AU - Greco, Giuseppe

AU - Liang, Fei

AU - Moshier, M. Andrew

AU - Palmigiano, Alessandra

PY - 2017/1/1

Y1 - 2017/1/1

N2 - We introduce a proper multi-type display calculus for semi De Morgan logic which is sound, complete, conservative, and enjoys cut-elimination and subformula property. Our proposal builds on an algebraic analysis of semi De Morgan algebras and applies the guidelines of the multi-type methodology in the design of display calculi.

AB - We introduce a proper multi-type display calculus for semi De Morgan logic which is sound, complete, conservative, and enjoys cut-elimination and subformula property. Our proposal builds on an algebraic analysis of semi De Morgan algebras and applies the guidelines of the multi-type methodology in the design of display calculi.

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

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

U2 - 10.1007/978-3-662-55386-2_14

DO - 10.1007/978-3-662-55386-2_14

M3 - Conference contribution

AN - SCOPUS:85026745374

SN - 9783662553855

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 199

EP - 215

BT - Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, Proceedings

A2 - Kennedy, Juliette

A2 - de Queiroz, Ruy J.G.B.

PB - Springer Verlag

T2 - 24th International Workshop on Logic, Language, Information, and Computation, WoLLIC 2017

Y2 - 18 July 2017 through 21 July 2017

ER -

Greco G, Liang F, Moshier MA, Palmigiano A. Multi-type display calculus for semi de morgan logic. In Kennedy J, de Queiroz RJGB, editors, Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, Proceedings. Springer Verlag. 2017. p. 199-215. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-662-55386-2_14

Multi-type display calculus for semi de morgan logic

Abstract

Publication series

Conference

Funding

Access to Document

Persistent URL (handle)

Other files and links

Fingerprint

Cite this