REMARKS ON INTERMEDIATE LOGICS WITH AXIOMS CONTAINING ONLY ONE VARIABLE
Andrzej Wro · 2013
’0 = p^^ =jp, ’1 ==jp, ’2 = p, ’3 ==j =jp, ’4 = p__ =jp, ’2n+5 = ’2n+3 ) ’2n+2, ’2n+6 = ’2n+3__’2n+1, ’! = p ) p (p is a propositional variable). Therefore the free pseudo-Boolean algebra with one-element free generating set can be visualized by means of the following diagram (the point en of the diagram corresponds to the equivalence class of the formula ’n, n = 0; 1;:::;!).