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