@inproceedings(AcclavioMaieli20,
author = {Matteo Acclavio and Roberto Maieli},
year = {2020},
title = {Generalized Connectives for Multiplicative Linear Logic},
booktitle = {28th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2020, January 13-16, 2020, Barcelona, Spain},
pages = {6:1--6:16},
doi = {10.4230/LIPIcs.CSL.2020.6},
)
@article(BST2010,
author = {Michele Basaldella and Alexis Saurin and Kazushige Terui},
year = {2010},
title = {From Focalization of Logic to the Logic of Focalization},
journal = {Electr. Notes Theor. Comput. Sci.},
volume = {265},
pages = {161--176},
doi = {10.1016/j.entcs.2010.08.010},
)
@article(BT2010,
author = {Michele Basaldella and Kazushige Terui},
year = {2010},
title = {On the meaning of logical completeness},
journal = {Logical Methods in Computer Science},
volume = {6},
number = {4},
doi = {10.2168/LMCS-6(4:11)2010},
)
@article(curien2005,
author = {Pierre{-}Louis Curien},
year = {2005},
title = {Introduction to linear logic and ludics, part {II}},
journal = {CoRR},
volume = {abs/cs/0501039},
eprint = {cs/0501039},
)
@book(Dummett91,
author = {Michael Dummett},
year = {1991},
title = {The Logical Basis of Metaphysics},
publisher = {Duckworth},
address = {London},
)
@article(faggian2006,
author = {Claudia Faggian},
year = {2006},
title = {Interactive observability in Ludics: The geometry of tests},
journal = {Theor. Comput. Sci.},
volume = {350},
number = {2-3},
pages = {213--233},
doi = {10.1016/j.tcs.2005.10.042},
)
@article(FQ2018,
author = {Christophe Fouquer{\'{e}} and Myriam Quatrini},
year = {2018},
title = {Study of Behaviours via Visitable Paths},
journal = {Logical Methods in Computer Science},
volume = {14},
number = {2},
doi = {10.23638/LMCS-14(2:7)2018},
)
@article(FrancezDyckhoff2012,
author = {Nissim Francez and Roy Dyckhoff},
year = {2012},
title = {A Note on Harmony},
journal = {J. Philosophical Logic},
volume = {41},
number = {3},
pages = {613--628},
doi = {10.1007/s10992-011-9208-0},
)
@article(girard2001,
author = {Jean{-}Yves Girard},
year = {2001},
title = {Locus Solum: From the rules of logic to the logic of rules},
journal = {Mathematical Structures in Computer Science},
volume = {11},
number = {3},
pages = {301--506},
doi = {10.1017/S096012950100336X},
)
@incollection(GuerrieriNaibo20,
author = {Giulio Guerrieri and Alberto Naibo},
year = {2020},
title = {The problem of harmony in classical logic},
editor = {Igor Sedl{\'a}r and Martin Blicha},
booktitle = {The Logica Yearbook 2019},
publisher = {College Publications},
address = {London},
)
@article(NP2015,
author = {Alberto Naibo and Mattia Petrolo},
year = {2015},
title = {Are Uniqueness and Deducibility of Identicals the Same?},
journal = {Theoria},
volume = {81},
number = {2},
pages = {143--181},
doi = {10.1111/theo.12051},
)
@incollection(NaiboMattiaSeiller2016,
author = {Alberto Naibo and Mattia Petrolo and Thomas Seiller},
year = {2016},
title = {On the Computational Meaning of Axioms},
editor = {Juan Redmond and Pombo Martins, Olga and Nepomuceno Fern{\'a}ndez, {\'A}ngel},
booktitle = {Epistemology, Knowledge and the Impact of Interaction},
publisher = {Springer International Publishing},
pages = {141--184},
doi = {10.1007/978-3-319-26506-3_5},
)
@inproceedings(pavaux2017,
author = {Alice Pavaux},
year = {2017},
title = {Inductive and Functional Types in Ludics},
booktitle = {26th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2017, August 20-24, 2017, Stockholm, Sweden},
pages = {34:1--34:20},
doi = {10.4230/LIPIcs.CSL.2017.34},
)
@phdthesis(pavaux2017c,
author = {Alice Pavaux},
year = {2017},
title = {Inductive, Functional and Non-Linear Types in Ludics},
school = {Universit{\'{e}} Paris 13},
)
@article(PfenningDavies2001,
author = {Frank Pfenning and Rowan Davies},
year = {2001},
title = {A judgmental reconstruction of modal logic},
journal = {Math. Struct. Comput. Sci.},
volume = {11},
number = {4},
pages = {511--540},
doi = {10.1017/S0960129501003322},
)
@article(vonplato2008,
author = {Jan von Plato},
year = {2008},
title = {Gentzen's Proof of Normalization for Natural Deduction},
journal = {Bull. Symb. Log.},
volume = {14},
number = {2},
pages = {240--257},
doi = {10.2178/bsl/1208442829},
)
@book(prawitz1965,
author = {Dag Prawitz},
year = {1965},
title = {Natural Deduction: A Proof-Theoretical Study},
publisher = {Almqvist \& Wiksell},
address = {Stockholm},
)
@article(SH2014,
author = {Schroeder{-}Heister, Peter},
year = {2014},
title = {The Calculus of Higher-Level Rules, Propositional Quantification, and the Foundational Approach to Proof-Theoretic Harmony},
journal = {Studia Logica},
volume = {102},
number = {6},
pages = {1185--1216},
doi = {10.1007/s11225-014-9562-3},
)
@incollection(SchroederHeister18,
author = {Schroeder-Heister, Peter},
year = {2018},
title = {Proof-Theoretic Semantics},
editor = {Edward N. Zalta},
booktitle = {The Stanford Encyclopedia of Philosophy},
edition = {spring 2018},
publisher = {Metaphysics Research Lab, Stanford University},
url = {https://plato.stanford.edu/archives/spr2018/entries/proof-theoretic-semantics/},
)
@book(Gentzen69,
editor = {Manfred E. Szabo},
year = {1969},
title = {The Collected Papers of Gerhard Gentzen},
publisher = {North-Holland},
address = {Amsterdam},
)
@article(terui2011,
author = {Kazushige Terui},
year = {2011},
title = {Computational ludics},
journal = {Theor. Comput. Sci.},
volume = {412},
number = {20},
pages = {2048--2071},
doi = {10.1016/j.tcs.2010.12.026},
)