Additive G\'{o}del Logic
| Autor: | Khatami, Seyed Mohammad Amin |
|---|---|
| Rok vydání: | 2015 |
| Předmět: | |
| Druh dokumentu: | Working Paper |
| Popis: | We study an extension of \g propositional logic whose corresponding algebra is an ordered Abelian group. Then we expand the ideas to first-order case of this logic. |
| Databáze: | arXiv |
| Externí odkaz: |
|