@incollection(Caleiro2007,
 author       = {Carlos Caleiro and Jaime Ramos},
 year         = {2007},
 title        = {Combining classical and intuitionistic implications},
 editor       = {Boris Konev and Frank Wolter},
 booktitle    = {Frontiers of Combining Systems. FroCoS 2007},
 series       = {Lecture Notes in Computer Science},
 publisher    = {Springer},
 pages        = {118--132},
 doi          = {10.1007/978-3-540-74621-8_8},
)
@incollection(Cerro1996,
 author       = {Luis Fari\~{n}as del Cerro and Andreas Herzig},
 year         = {1996},
 title        = {Combining classical and intuitionistic logic or: Intuitionistic implication as a conditional},
 editor       = {Franz Badder and Klaus U Schulz},
 booktitle    = {Frontiers of Combining Systems. FroCoS 1996},
 publisher    = {Springer},
 pages        = {93--102},
 doi          = {10.1007/978-94-009-0349-4_4},
)
@article(De2013,
 author       = {Michael De},
 year         = {2013},
 title        = {Empirical negation},
 journal      = {Acta Analytica: International Periodical for Philosophy in the Analytical Tradition},
 volume       = {28},
 number       = {1},
 pages        = {49--69},
 doi          = {10.1007/s12136-011-0138-9},
)
@incollection(De2014,
 author       = {Michael De and Hitoshi Omori},
 year         = {2014},
 title        = {More on empirical negation},
 editor       = {Rajeev Gor\'{e} and Bateld Kooi and Agi Kurucz},
 booktitle    = {Advances in Modal Logic},
 volume       = {10},
 publisher    = {College Publications},
 pages        = {114--133},
)
@book(Gabbay2009,
 author       = {Dov Gabbay and Valentin Shehtman and Dmitrij Skvortsov},
 year         = {2009},
 title        = {Quantification in Nonclassical logic {V}olume 1},
 series       = {Studies in Logic and the Founadations of Mathematics},
 volume       = {153},
 publisher    = {Elsevier Science},
)
@incollection(Hermant2005,
 author       = {Olivier Hermant},
 year         = {2005},
 title        = {Semantic cut elimination in the intuitionistic sequent calculus},
 editor       = {Pawe\l{} Urzyczyn},
 booktitle    = {TCLA 2005: Typed Lambda Calculi and Applications},
 series       = {Lecture Notes in Computer Science book series (LNCS)},
 volume       = {3461},
 publisher    = {Springer},
 pages        = {221--233},
 doi          = {10.1007/11417170_17},
)
@article(Humberstone1979,
 author       = {Llyod Humberstone},
 year         = {1979},
 title        = {Interval semantics for tense logic: some remarks},
 journal      = {Journal of Philosophical Logic},
 volume       = {8},
 pages        = {171--196},
 doi          = {10.1007/BF00258426},
)
@article(Jongh2018,
 author       = {Dick de Jongh and Shirmohammadzadeh Maleki, Fatemeh},
 year         = {2018},
 title        = {Subintuitionistic logics and the implications they prove},
 journal      = {Indagationes Mathematicae},
 volume       = {29},
 number       = {6},
 pages        = {1525--1545},
 doi          = {10.1016/j.indag.2018.01.013},
)
@inproceedings(Jongh2015,
 author       = {Dick de Jongh and Fatemeh Shirmohammadzadeh Maleki},
 year         = {2015},
 title        = {Subintuitionistic logics with Kripke semantics},
 editor       = {Helle Hvid Hansen and E. Marray, Sarah and Mehrnoosh Sadrzadeh and Henk Zeevat},
 booktitle    = {Revised Selected Papers of the 11th International Tbilisi Symposium on Logic, Language, and Computation},
 volume       = {10148},
 publisher    = {Springer - Verlag},
 pages        = {333--354},
 doi          = {10.1007/978-3-662-54332-0_18},
)
@book(Kashima2009,
 author       = {Ryo Kashima},
 year         = {2009},
 title        = {Mathematical Logic (in Japanese)},
 publisher    = {Asakura Publishing Company},
)
@incollection(Lucio2000,
 author       = {Paqui Lucio},
 year         = {2000},
 title        = {Structured sequent calculi for combining intuitionistic and classical first-order logic},
 editor       = {H\'{e}l\`{e}ne Kirchner and Christophe Ringeissen},
 booktitle    = {Frontiers of Combining Systems. FroCoS 2000},
 publisher    = {Springer},
 pages        = {88--104},
 doi          = {10.1007/10720084_7},
)
@article(Maehara1954,
 author       = {Sh\^{o}ji Maehara},
 year         = {1954},
 title        = {Eine {D}arstellung der intuitionistischen {L}ogik in der klassischen},
 journal      = {Nagoya Mathematical Journal},
 volume       = {7},
 pages        = {45--64},
 doi          = {10.1017/S0027763000018055},
)
@article(Maehara1961,
 author       = {Sh\^{o}ji Maehara},
 year         = {1961},
 title        = {Craig's interpolation theorem (in Japanese)},
 journal      = {S\^{u}gaku},
 volume       = {12},
 number       = {4},
 pages        = {235--237},
 doi          = {10.11429/sugaku1947.12.235},
)
@book(Mints2000,
 author       = {Giorgi Mints},
 year         = {2000},
 title        = {A Short Introduction to Intuitionistic Logic},
 series       = {The University Series in Mathematics},
 publisher    = {Springer, Boston},
 doi          = {10.1007/b115304},
)
@book(Negri2001,
 author       = {Sara Negri and Von Plato, Jan},
 year         = {2001},
 title        = {Structural proof theory},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9780511527340},
)
@book(Ono1994a,
 author       = {Hiroakira Ono},
 year         = {1994},
 title        = {Logic in Information Science (in Japanese)},
 publisher    = {Nippon Hyoron sha co., Ltd},
)
@book(Ono2019,
 author       = {Hiroakira Ono},
 year         = {2019},
 title        = {Proof Theory and Algebra in Logic},
 edition      = {1st},
 publisher    = {Springer},
 doi          = {10.1007/978-981-13-7997-0},
)
@article(Ono1985,
 author       = {Hiroakira Ono and Yuichi Komori},
 year         = {1985},
 title        = {Logics without the contraction rule},
 journal      = {The Journal of Symbolic Logic},
 volume       = {50},
 number       = {1},
 pages        = {169--201},
 doi          = {10.2307/2273798},
)
@article(Pereira2017,
 author       = {Luiz Carlos Pereira and Ricardo Oscar Rodriguez},
 year         = {2017},
 title        = {Normalization, Soundness and Completeness for the Propositional Fragment of {P}rawitz\IeC{\textquoteright} Ecumenical System},
 journal      = {Revista Portuguesa de Filosofia},
 volume       = {73},
 number       = {3/4},
 pages        = {1153--1168},
 doi          = {10.17990/RPF/2017\_73\_3\_1153},
 url          = {http://www.jstor.org/stable/26291332},
)
@inproceedings(Pimentel2018,
 author       = {Elaine Pimentel and Luiz Carlos Pereira and Valeria de Paiva},
 year         = {2018},
 title        = {A proof theoretical view of ecumenical systems},
 booktitle    = {Proceedings of the 13th Workshop on Logical and Semantic Framework with Applications},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 pages        = {109--114},
)
@article(Elaine2019,
 author       = {Elaine Pimentel and Luiz Carlos Pereira and Valeria de Paiva},
 year         = {2019},
 title        = {An ecumenical notion of entailment},
 journal      = {Synthese},
 doi          = {10.1007/s11229-019-02226-5},
)
@incollection(Prawitz2015,
 author       = {Dag Prawitz},
 year         = {2015},
 title        = {Classical versus intuitionistic logic},
 editor       = {Edward Herman Haeusler and Campos Sanz, Wagner de and Bruno Lopes},
 booktitle    = {Why is this a Proof?},
 publisher    = {College Publications},
 pages        = {15--32},
)
@article(Restall1994,
 author       = {Greg Restall},
 year         = {1994},
 title        = {Subintuitionistic logics},
 journal      = {Notre Dame Journal of Formal Logic},
 volume       = {35},
 number       = {1},
 pages        = {116--129},
 doi          = {10.1305/ndjfl/1040609299},
)
@inproceedings(Toyooka2021a,
 author       = {Masanobu Toyooka and Katsuhiko Sano},
 year         = {2021},
 title        = {Analytic multi-succedent sequent calculus for combining intuitionistic and classical propositional logic.},
 editor       = {Sujata Ghosh and R Ramanujam},
 booktitle    = {ICLA 2021 Proceedings: 9th Indian Conference on Logic and its Applications},
 pages        = {128--133},
 url          = {https://www.isichennai.res.in/~sujata/icla2021/proceedings.pdf},
)
@book(Troelstra2012,
 author       = {Anne Sjerp Troelstra and Helmut Schwichtenberg},
 year         = {2012},
 title        = {Basic Proof Theory},
 edition      = {2nd},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9781139168717},
)