10 Answers votes newest views recent 3“Duals” of Lindenbaum algebras 6Is there a theorem that says that there is always more than one way to “continue a finite sequence”? 1Algorithm to compute certain poset from a given poset. 3What’s a magical theorem in logic? 10The concept of Duality 2Transition Graph per alphabet? 3Program transformation as alternative for Hoare logic or temporal logic 12What could be some potentially useful mathematical databases? 1the maximal length of a special dicksonian sequence 1Do Turing Machines generates any nontrivial lattice on the set o symbols or states?