A Lindstr & ouml;m theorem for intuitionistic first-order logic

We extend the main result of [1] to the first-order intuitionistic logic (with and without equality), showing that it is a maximal (with respect to expressive power) abstract logic satisfying a certain form of compactness, the Tarski union property and preservation under asimulations. A similar result is also shown for the intuitionistic logic of constant domains. & COPY; 2023 Elsevier B.V. All rights reserved.

Automated summary

This study extends the main result of [1] to the first-order intuitionistic logic and demonstrates that it is a maximal abstract logic in terms of expressive power, satisfying a certain form of compactness, the Tarski union property, and preservation under simulations. A similar result is also applicable to the intuitionistic logic of constant domains.