Author:Umberto Rivieccio
KeyphrasesBelnap logic, Esakia duality, Jónsson-Tarski duality, many-valued modal logic, N4-lattices2, paraconsistent Nelson logic2, Priestley duality, twist-structures2. |
| ||||
Copyright © 2012-2024 easychair.org. All rights reserved. |