DOI10.1007/s00153-023-00895-1OpenAlexW4387969640MaRDI QIDQ6128779
Katsumasa Ishii
Publication date: 16 April 2024 Published in: Archive for Mathematical Logic (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1007/s00153-023-00895-1
zbMATH Keywords
intermediate predicate logicsOno's problemHarrop disjunction property
Mathematics Subject Classification ID
Intermediate logics (03B55)