A geometrical view of I/O logic
| Autor: | Gabbay, D., Parent, X., van der Torre, L. |
|---|---|
| Rok vydání: | 2019 |
| Předmět: | |
| Druh dokumentu: | Working Paper |
| Popis: | We describe a geometrical account of the I/O logic put forth by Makinson and van der Torre. A soundness and completeness results was reported for the simplest I/O operation called simple-minded, and in the finite case only. On this account a generator acts as a "jump" within a lattice. |
| Databáze: | arXiv |
| Externí odkaz: |
|