Publication:5307867
From MaRDI portal
zbMath1496.03001MaRDI QIDQ5307867
Publication date: 19 September 2007
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03G30: Categorical logic, topoi
03G27: Abstract algebraic logic
Related Items
On the category of pseudo-BCI-algebras, The Belluce-lattice associated with a bounded Hilbert algebra, A glimpse of deductive systems in algebra, Equational spectrum of Hilbert varieties, Algebraic aspects of relatively pseudocomplemented posets, On weak implication algebra, Some properties of epimorphisms of Hilbert algebras, Bounded BCK-algebras of fractions and maximal BCK-algebra of quotients