On fragments of Medvedev's logic
From MaRDI portal
Publication:1165841
DOI10.1007/BF01837554zbMath0488.03016OpenAlexW2764508251MaRDI QIDQ1165841
Publication date: 1981
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01837554
finite Boolean algebras without unitsfragments of intuitionistic logicinterpretation of Kripke semanticsunnormalizable logics
Related Items
Intermediate logics with the same disjunctionless fragment as intuitionistic logic, Intuitionistic logic and Muchnik degrees, The disjunction property of intermediate propositional logics, Complexity of intuitionistic propositional logic and its fragments, On the extension of intuitionistic propositional logic with Kreisel- Putnam's and Scott's schemes
Cites Work