What kinds of connectives cause the difference between intuitionistic predicate logic and the logic of constant domains?
From MaRDI portal
Publication:6160742
DOI10.1007/978-3-031-15298-6_11arXiv2205.05995MaRDI QIDQ6160742
Publication date: 2 June 2023
Published in: Logic, Language, Information, and Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2205.05995
Cites Work
This page was built for publication: What kinds of connectives cause the difference between intuitionistic predicate logic and the logic of constant domains?