On Harrop disjunction property in intermediate predicate logics
Crossref DOI link: https://doi.org/10.1007/s00153-023-00895-1
Published Online: 2023-10-27
Published Print: 2024-05
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Ishii, Katsumasa
Text and Data Mining valid from 2023-10-27
Version of Record valid from 2023-10-27
Article History
Received: 11 September 2022
Accepted: 30 September 2023
First Online: 27 October 2023