A new calculus for intuitionistic Strong Löb logic: strong termination and cut-elimination, formalised

Ian Shillito, Iris van der Giessen, Rajeev Goré, Rosalie Iemhoff

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023
Editors	Revantha Ramanayake, Josef Urban
Pages	73-93
DOIs	https://doi.org/10.1007/978-3-031-43513-3_5
Publication status	Published - 2023

Name	Lecture Notes in Computer Science
Volume	14278

Best Paper Award

Access to Document

Shillito, I., van der Giessen, I., Goré, R., & Iemhoff, R. (2023). A new calculus for intuitionistic Strong Löb logic: strong termination and cut-elimination, formalised. In R. Ramanayake, & J. Urban (Eds.), Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023 (pp. 73-93). (Lecture Notes in Computer Science; Vol. 14278). https://doi.org/10.1007/978-3-031-43513-3_5

@inproceedings{6d4b3aa2e2674dd59941a9be306b6e96,

title = "A new calculus for intuitionistic Strong L{\"o}b logic: strong termination and cut-elimination, formalised",

author = "Ian Shillito and {van der Giessen}, Iris and Rajeev Gor{\'e} and Rosalie Iemhoff",

note = "Best Paper Award",

year = "2023",

doi = "10.1007/978-3-031-43513-3_5",

language = "English",

series = "Lecture Notes in Computer Science",

pages = "73--93",

editor = "Revantha Ramanayake and Josef Urban",

booktitle = "Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023",

}

Shillito, I, van der Giessen, I, Goré, R & Iemhoff, R 2023, A new calculus for intuitionistic Strong Löb logic: strong termination and cut-elimination, formalised. in R Ramanayake & J Urban (eds), Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023. Lecture Notes in Computer Science, vol. 14278, pp. 73-93. https://doi.org/10.1007/978-3-031-43513-3_5

A new calculus for intuitionistic Strong Löb logic: strong termination and cut-elimination, formalised. / Shillito, Ian; van der Giessen, Iris; Goré, Rajeev et al.
Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023. ed. / Revantha Ramanayake; Josef Urban. 2023. p. 73-93 (Lecture Notes in Computer Science; Vol. 14278).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - A new calculus for intuitionistic Strong Löb logic: strong termination and cut-elimination, formalised

AU - Shillito, Ian

AU - van der Giessen, Iris

AU - Goré, Rajeev

AU - Iemhoff, Rosalie

N1 - Best Paper Award

PY - 2023

Y1 - 2023

U2 - 10.1007/978-3-031-43513-3_5

DO - 10.1007/978-3-031-43513-3_5

M3 - Conference contribution

T3 - Lecture Notes in Computer Science

SP - 73

EP - 93

BT - Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023

A2 - Ramanayake, Revantha

A2 - Urban, Josef

ER -