
We develop many-valued logic, including a generic abstract model theory, over a fully abstract syntax. We show that important many-valued logic model theories, such as traditional first-order many-valued logic and fuzzy multi-algebras, may be conservatively embedded into our abstract framework. Our development is technically based upon the so-called theory of institutions of Goguen and Burstall and may serve as a template for defining at hand many-valued logic model theories over various concrete syntaxes or, from another perspective, to combine many-valued logic with other logical systems. We also show that our generic many-valued logic abstract model theory enjoys a couple of important institutional model theory properties that support the development of deep model theory methods.
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 15 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Top 10% | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Top 10% | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Top 10% |
