Implicational formulas in intuitionistic logic

DOI10.2307/2272850zbMath0317.02022OpenAlexW2158518249MaRDI QIDQ4077986

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)

Related Items (6)

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

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