HIGHLIGHTS
- who: A. Di Nola from the University of Salerno: Universita degli Studi di Salerno, Fisciano, Italy have published the paper: Involutive symmetric Gu00f6del spaces, their algebraic duals and logic, in the Journal: (JOURNAL)
- what: Another way to show that (C0G )2 u00d7 (C1G )2 is generated by_((0, 1), (c1, c1* )) is the following reasoning.
SUMMARY
An algebra (T, ∨, ∧,, 0, 1) is said to be a G 2 -algebra (or symmetric Gödelalgebra), if (i) (T, ∨, ∧,, 0, 1) is a G-algebra (or Gödel-algebra), corresponding to Gödel logic . . .
If you want to have access to all the content you need to log in!
Thanks :)
If you don't have an account, you can create one here.