1. Gödel algebras free over finite distributive lattices;Aguzzoli;Ann. Pure Appl. Logic,2008
2. Non-deterministic semantics for logical systems;Avron,2011
3. The Kuznetsov–Gerciu and Rieger–Nishimura logics;Bezhanishvili;Log. Log. Philos.,2008
4. Extendible formulas in two variables in intuitionistic logic;Bezhanishvili;Stud. Log.,2012
5. A useful four-valued logic: How a computer should think;Anderson,1992