Funder
Japan Society for the Promotion of Science
Publisher
Springer Science and Business Media LLC
Reference52 articles.
1. Humberstone, L.: Interval semantics for tense logic: some remarks. Journal of Philosophical Logic 8, 171–196 (1979). https://doi.org/10.1007/BF00258426
2. del Cerro, L.F., A. Herzig, Combining classical and intuitionistic logic or: Intuitionistic implication as a conditional. In: Badder, F., and K.U. Schulz, (eds.) Frontiers of Combining Systems: FroCoS 1996, pp. 93–102. Springer, (1996). https://doi.org/10.1007/978-94-009-0349-4_4
3. Toyooka, M., K. Sano, Analytic multi-succedent sequent calculus for combining intuitionistic and classical propositional logic. In: Ghosh, S., and R. Ramanujam, (eds.) ICLA 2021 Proceedings: 9th Indian Conference on Logic and Its Applications, pp. 128–133 (2021)
4. Popper, K. On the Theory of Deduction, Part II. The Definitions of Classical and Intuitionist Negation (1948). In: Binder, D., T. Piecha, and P. Schroeder-Heister, (eds.) The Logical Writings of Karl Popper, pp. 181–192. Springer, Cham (2022). https://doi.org/10.1007/978-3-030-94926-6_6.
5. Williamson, T., Equivocation and existence. In: Proceedings of the Aristotelian Society vol. 88, pp. 109–127 (1988). https://doi.org/10.1093/aristotelian/88.1.109