A Lindström theorem for intuitionistic first-order logic
Article in Annals of Pure and Applied Logic (December 2023)
The most recent citing publications are shown below. View all 7 publications that cite this research output on Dimensions.
Article in Annals of Pure and Applied Logic (December 2023)
Article in Israel Journal of Mathematics (October 2021)
Article in Journal of Logic and Computation (September 2021)