Algebraic Treatment of the Functional Calculi of Heyting and Lewis
From MaRDI portal
Publication:5807661
DOI10.4064/fm-38-1-99-126zbMath0044.24902OpenAlexW325205826WikidataQ114894437 ScholiaQ114894437MaRDI QIDQ5807661
Publication date: 1951
Published in: Fundamenta Mathematicae (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/213235
Related Items (9)
Leon Henkin the Reviewer ⋮ Crawley completions of residuated lattices and algebraic completeness of substructural predicate logics ⋮ Topological proofs of some Rasiowa-Sikorski lemmas ⋮ Algebraization of quantifier logics, an introductory overview ⋮ \(LT\)-fuzzy sets ⋮ Relative pseudo-complements, join-extensions, and meet-retractions ⋮ Remarks About a Closure Algebra in which Closed Elements are Open ⋮ QUANTIFIED INTUITIONISTIC LOGIC OVER METRIZABLE SPACES ⋮ The Skolem-Löwenheim theorem in toposes. II
This page was built for publication: Algebraic Treatment of the Functional Calculi of Heyting and Lewis