Basic propositional logic and the weak excluded middle | 0 | 0.34 | 2019 |
Boolean Algebras in Visser Algebras | 2 | 0.45 | 2016 |
Counting weak Heyting algebras on finite distributive lattices. | 1 | 0.41 | 2015 |
Uniform interpolation in substructural logics | 1 | 0.38 | 2014 |
A new Glivenko Theorem. | 0 | 0.34 | 2013 |
On Löb algebras, II. | 2 | 0.47 | 2012 |
On the diameter and girth of zero-divisor graphs of posets | 1 | 0.38 | 2012 |
Completion and amalgamation of bounded distributive quasi lattices | 0 | 0.34 | 2011 |
Completions of Basic Algebras | 0 | 0.34 | 2009 |
On Löb algebras | 3 | 0.58 | 2006 |
Amalgamation property for the class of basic algebras and some of its natural subclasses | 4 | 0.68 | 2006 |
On the linear Lindenbaum algebra of Basic Propositional Logic | 7 | 0.90 | 2004 |