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, Free equivalential algebras, Algebras defined from ordered sets and the varieties they generate, FORMULAS IN MODAL LOGIC S4