Maximal Deductive Systems and Injective Objects in the Category of Hilbert Algebras
From MaRDI portal
Publication:3804692
DOI10.1002/malq.19880340305zbMath0657.03032WikidataQ114235705 ScholiaQ114235705MaRDI QIDQ3804692
Daniel Gluschankof, Miguel Tilli
Publication date: 1988
Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19880340305
Boolean algebra; ultrafilter; Boolean Prime Ideal Theorem; deductive algebra; dedutive system; proper filter
03G25: Other algebras related to logic
03E25: Axiom of choice and related propositions
08B30: Injectives, projectives
Related Items
Prime deductive systems and injective objects in the algebras of Łukasiewicz infinite-valued calculi, A note on injectivity and Boolean products, Representation of Hilbert algebras and implicative semilattices, Hilbert algebras with a modal operator \(\diamondsuit\), Some properties of epimorphisms of Hilbert algebras