Correction to: Kripke-Completeness and Cut-elimination Theorems for Intuitionistic Paradefinite Logics With and Without Quasi-Explosion

Author information

Authors and Affiliations

1. Department of Information and Electronic Engineering, Faculty of Science and Engineering, Teikyo University, Toyosatodai 1-1, Utsunomiya, Tochigi, 320-8551, Japan

   Norihiro Kamide

Authors

1. Norihiro Kamide
   View author publications

   You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Norihiro Kamide.

Additional information

Publisher’s note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

The online version of the original article can be found at https://doi.org/10.1007/s10992-020-09553-w

Rights and permissions

Reprints and permissions

About this article

Cite this article

Kamide, N. Correction to: Kripke-Completeness and Cut-elimination Theorems for Intuitionistic Paradefinite Logics With and Without Quasi-Explosion. J Philos Logic 49, 1213 (2020). https://doi.org/10.1007/s10992-020-09559-4

Download citation

• Published: 04 August 2020

• Issue Date: December 2020

• DOI: https://doi.org/10.1007/s10992-020-09559-4