Implicational formulas in intuitionistic logic

DOI10.2307/2272850zbMATH Open0317.02022OpenAlexW2158518249MaRDI QIDQ4077986FDOQ4077986

Alasdair Urquhart

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

Mathematics Subject Classification ID

Intermediate logics (03B55)

Cited In (6)

• FORMULAS IN MODAL LOGIC S4
• An \(\mathsf{AC}^{1}\)-complete model checking problem for intuitionistic logic
• A Logical Autobiography
• Free equivalential algebras
• 1999 European Summer Meeting of the Association for Symbolic Logic
• Algebras defined from ordered sets and the varieties they generate

This page was built for publication: Implicational formulas in intuitionistic logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4077986)