Propositional extensions of
Richard Gostanian, Karel Hrbacek
Similarity:
CONTENTS0. Preliminaries....................................................................... 71. Adding propositional connectives to ............... 82. The propositional part of (S)............................. 103. The operation S and the Boolean algebra ............... 114. General model-theoretic properties of (S)...... 175. Hanf number computations...................................................... 226. Negative results for (S)...........................................