Specifications in an arbitrary institution
Information and Computation - Semantics of Data Types
Algebraic approaches to nondeterminism—an overview
ACM Computing Surveys (CSUR)
CASL: the common algebraic specification language
Theoretical Computer Science
Membership algebra as a logical framework for equational specification
WADT '97 Selected papers from the 12th International Workshop on Recent Trends in Algebraic Development Techniques
Different Types of Arrow Between Logical Frameworks
ICALP '96 Proceedings of the 23rd International Colloquium on Automata, Languages and Programming
Elementary Diagrams in Institutions
Journal of Logic and Computation
Institution-independent Model Theory
Institution-independent Model Theory
Residuated Lattices: An Algebraic Glimpse at Substructural Logics, Volume 151
Residuated Lattices: An Algebraic Glimpse at Substructural Logics, Volume 151
All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic
Monadic extensions of institutions
Fuzzy Sets and Systems
Foundations of Algebraic Specification and Formal Software Development
Foundations of Algebraic Specification and Formal Software Development
| Hi-index | 0.20 |
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.