10

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