References

  1. Carlos Caleiro & Jaime Ramos (2007): Combining classical and intuitionistic implications. In: Proceedings of 6th International Symposium on Frontiers of Combining Systems (FroCoS). Springer, pp. 118–132, doi:10.1007/978-3-540-74621-8_8.
  2. Carlos Caleiro & Jaime Ramos (2007): From fibring to cryptofibring. A solution to the collapsing problem. Logica Universalis 1(1), pp. 71–92, doi:10.1007/s11787-006-0004-5.
  3. Luis Fariñas del Cerro & Andreas Herzig (1996): Combining classical and intuitionistic logic. In: Franz Baader & Klaus U. Schulz: Proceedings of the International Workshop on Frontiers of Combining Systems (FroCoS). Kluwer Academic Publishers, pp. 93–102, doi:10.1007/978-94-009-0349-4_4.
  4. Michael De (2013): Empirical negation. Acta Analytica 28, pp. 49–69, doi:10.1007/s12136-011-0138-9.
  5. Michael De & Hitoshi Omori (2014): More on empirical negation. In: Rajeev Goré, Barteld Kooi & Agi Kurucz: Advances in Modal Logic 10. College Publications, pp. 114–133.
  6. Michael De & Hitoshi Omori (2016): Classical and Empirical Negation in Subintuitionistic Logic.. In: Lev Beklemishev, Stéphane Demri & András Máté: Advances in Modal Logic 11. College Publications, pp. 217–235.
  7. Dov M. Gabbay (1996): An overview of fibred semantics and the combination of logics. In: F. Baader & K.U. Schulz: Proceedings of the International Workshop on Frontiers of Combining Systems (FroCoS). Kluwer Academic Publishers, pp. 1–55, doi:10.1007/978-94-009-0349-4_1.
  8. A. B. Gordienko (2007): A paraconsistent extension of Sylvan's logic. Algebra and Logic 46(5), pp. 289–296, doi:10.1007/s10469-007-0029-8.
  9. Lloyd Humberstone (1979): Interval semantics for tense logic: some remarks. Journal of Philosophical Logic 8, pp. 171–196, doi:10.1007/BF00258426.
  10. Lloyd Humberstone (2006): Extensions of intuitionistic logic without the deduction theorem: some simple examples. Reports on Mathematical Logic 40, pp. 45–82.
  11. Lloyd Humberstone (2011): The connectives. MIT Press, doi:10.7551/mitpress/9055.001.0001.
  12. Ingebrigt Johansson (1937): Der Minimalkalkül, ein reduzierter intuitionistischer Formalismus. Compositio Mathematica 4, pp. 119–136.
  13. Hidenori Kurokawa (2009): Hypersequent calculi for intuitionistic logic with classical atoms. Annals of Pure and Applied Logic 161(3), pp. 427–446, doi:10.1016/j.apal.2009.07.013.
  14. Steffen Lewitzka (2017): A modal logic amalgam of classical and intuitionistic propositional logic. Journal of Logic and Computation 27(1), pp. 201–212, doi:10.1093/logcom/exv048.
  15. Paqui Lucio (2000): Structured sequent calculi for combining intuitionistic and classical first-order logic. In: Proceedings of the 3rd International Workshop on Frontiers of Combining Systems (FroCoS). Springer, pp. 88–104, doi:10.1007/10720084_7.
  16. Satoru Niki (2020): Empirical negation, co-negation and contraposition Rule I: Semantical investigations. Bulletin of the Section of Logic 49(3), pp. 231–253, doi:10.18778/0138-0680.2020.12.
  17. Satoru Niki (2020): Empirical negation, co-negation and contraposition Rule II: Proof-theoretical investigations. Bulletin of the Section of Logic 49(4), pp. 359375, doi:10.18778/0138-0680.2020.13.
  18. Satoru Niki & Hitoshi Omori (2020): Actuality in intuitionistic logic. In: Nicola Olivetti, Rineke Verbrugge, Sara Negri & Gabriel Sandu: Advances in Modal Logic 13. College Publications, pp. 459–479.
  19. Satoru Niki & Hitoshi Omori (2021): A note on Humberstone's constant Ω. Reports on Mathematical Logic 56, pp. 75–99, doi:10.4467/20842589RM.21.004.14376.
  20. Hiroakira Ono (1977): On some intuitionistic modal logics. Publications of the Research Institute for Mathematical Sciences 13(3), pp. 687–722, doi:10.2977/prims/1195189604.
  21. 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.
  22. 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 Frameworks with Applications, pp. 109–114.
  23. Elaine Pimentel, Luiz Carlos Pereira & Valeria de Paiva (2021): An ecumenical notion of entailment. Synthese 198, pp. 5391–5413, doi:10.1007/s11229-019-02226-5.
  24. Dag Prawitz (2015): Classical versus intuitionistic logic. In: Edward Hermann Haeusler, Wagner de Campos Sanz & Bruno Lopes: Why is this a Proof?: Festschrift for Luiz Carlos Pereira. College Publications, pp. 15–32.
  25. Graham Priest (2009): Dualising intuitionistic negation. Principia 13(2), pp. 165–184, doi:10.5007/1808-1711.2009v13n2p165.
  26. Greg Restall (1994): Subintuitionistic Logics. Notre Dame Journal of Formal Logic 35(1), pp. 116–126, doi:10.1305/ndjfl/1040609299.
  27. Helmut Schwichtenberg & Stanley S Wainer (2011): Proofs and computations. Cambridge University Press, doi:10.1017/CBO9781139031905.
  28. Krister Segerberg (1968): Propositional logics related to Heyting's and Johansson's. Theoria 34(1), pp. 26–61, doi:10.1111/j.1755-2567.1968.tb00337.x.
  29. 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, pp. 128–133. Available at https: //www.isichennai.res.in/~sujata/icla2021/proceedings.pdf..
  30. Anne Sjerp Troelstra & Dirk van Dalen (1988): Constructivism in Mathematics: An introduction, volume I. Elsevier.
  31. Anne Sjerp Troelstra & Helmut Schwichtenberg (2000): Basic proof theory. Cambridge University Press, doi:10.1017/CBO9781139168717.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org