Proof of a conjecture of McKay

DOI10.4064/FM-81-3-267-270zbMATH Open0287.02013OpenAlexW835956838WikidataQ122996599 ScholiaQ122996599MaRDI QIDQ4773681FDOQ4773681

Authors: Krister Segerberg 

Publication date: 1974

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/214643

Mathematics Subject Classification ID

Intermediate logics (03B55)

Cited In (5)

• Implicational Logic, Relevance, and Refutability
• On fragments of Medvedev's logic
• Intermediate logics with the same disjunctionless fragment as intuitionistic logic
• A new solution to a problem of Hosoi and Ono
• On Jaskowski-type semantics for the intuitionistic propositional logic

This page was built for publication: Proof of a conjecture of McKay

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4773681)