On fragments of Medvedev's logic

DOI10.1007/BF01837554zbMath0488.03016OpenAlexW2764508251MaRDI QIDQ1165841

Mirosław Szatkowski

Publication date: 1981

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01837554

zbMATH Keywords

finite Boolean algebras without unitsfragments of intuitionistic logicinterpretation of Kripke semanticsunnormalizable logics

Mathematics Subject Classification ID

Intermediate logics (03B55)

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

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Kripke models and intermediate logics
• Proof of a conjecture of McKay
• A Note on The Jaśkowski Sequence
• Some relational systems and the associated topological spaces
• The decidability of the Kreisel-Putnam system
• Über die Zwischensysteme der Aussagenlogik