Proof of a conjecture of McKay
From MaRDI portal
Publication:4773681
DOI10.4064/fm-81-3-267-270zbMath0287.02013OpenAlexW835956838WikidataQ122996599 ScholiaQ122996599MaRDI QIDQ4773681
Publication date: 1974
Published in: Fundamenta Mathematicae (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/214643
Related Items
A new solution to a problem of Hosoi and Ono ⋮ Intermediate logics with the same disjunctionless fragment as intuitionistic logic ⋮ On fragments of Medvedev's logic ⋮ On Jaskowski-type semantics for the intuitionistic propositional logic ⋮ Implicational Logic, Relevance, and Refutability