Cardinalities of proper ideals in some lattices of strengthenings of the intuitionistic propositional logic
From MaRDI portal
Publication:800356
DOI10.1007/BF01063837zbMath0549.03055OpenAlexW280953097MaRDI QIDQ800356
Publication date: 1983
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01063837
lattices of strengthenings of the intuitionistic propositional logicproper idealstructural strengthenings
Cites Work