ON FINITE APPROXIMABILITY OF SUPERINTUITIONISTIC LOGICS
From MaRDI portal
Publication:4166740
DOI10.1070/SM1977v031n02ABEH003624zbMath0386.03010OpenAlexW2042655196MaRDI QIDQ4166740
Publication date: 1977
Published in: Mathematics of the USSR-Sbornik (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1070/sm1977v031n02abeh003624
Related Items
All intermediate logics with extra axioms in one variable, except eight, are not strongly ω-complete, 1996–1997 Winter Meeting of the Association for Symbolic Logic