Timeline for Is there an intuitionistic generalized boolean algebra (of Stone)?
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 30, 2014 at 16:09 | comment | added | Ioachim Drugus | Does the generalization method you described also work when generalized structures do not contain both the bottom and top element? | |
| Apr 13, 2014 at 6:48 | history | edited | user46855 | CC BY-SA 3.0 |
Answerd a further request in the comment
|
| Apr 12, 2014 at 23:48 | comment | added | Ioachim Drugus | With this generalization method, there can exist a mapping F of tautologies in the signature of C to tautologies in the signature of C'. Is there such a method? In topless boolean algebra I found counterparts of some boolean equations this manner: if E is a boolean tautology, then I replaced in E each occurence of "-x" with "U-x", where U is the disjunction of all variables in E. Is such or other mapping used by other authors? | |
| Apr 12, 2014 at 12:16 | history | answered | user46855 | CC BY-SA 3.0 |