Implicational formulas in intuitionistic logic
From MaRDI portal
Publication:4077986
DOI10.2307/2272850zbMath0317.02022MaRDI QIDQ4077986
Publication date: 1975
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2272850
03B55: Intermediate logics
Related Items
1999 European Summer Meeting of the Association for Symbolic Logic, An \(\mathsf{AC}^{1}\)-complete model checking problem for intuitionistic logic, Free equivalential algebras, Algebras defined from ordered sets and the varieties they generate, FORMULAS IN MODAL LOGIC S4