Mixed hyper-digital logic

online since July 2007


In previous texts (e.g. [1]), we defined bit table sets $ {\mathbb{B}}_{S}^{k}$ and their bit table algebras $ \mathfrak{B}_{A}^{k}$. Each one was fixed in the sense that carrier A and degree k were constants in the given context. We now ask for possibilities to define mixed algebras, in particular on

The minimal condition we put on all these potential generalization will be, that they are proper expansions of all the fixed algebras they cover.

Similar to these versions of bit table algebras, we try to generalize the different "fixed" hyper-propositional formula algebras $ \mathfrak{F}_{A}^{k}$ by defining a mixed hyper-propositional formula algebra F(A).

The text

... is under construction ...


[1] Hyper-propositional logic: Summarized overview of its syntax and semantics

[home] [blog]