On quasi-varieties of multiple valued logic models
From MaRDI portal
Publication:2996230
DOI10.1002/malq.200910131zbMath1241.03028MaRDI QIDQ2996230
Publication date: 6 May 2011
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.200910131
03B50: Many-valued logic
08C15: Quasivarieties
03C05: Equational classes, universal algebra in model theory
Related Items
Preservation in many-valued truth institutions, Abstract valuation semantics, Structural induction in institutions, Graded consequence: an institution theoretic study, Refinement in hybridised institutions
Cites Work
- Unnamed Item
- Residuated lattices. An algebraic glimpse at substructural logics
- Quasi-varieties in abstract algebraic institutions
- Metamathematics of fuzzy logic
- Fuzzy logic programming and fuzzy control
- Herbrand theorems in arbitrary institutions
- Institution-independent model theory
- On theories and models in fuzzy predicate logics
- Initial Algebra Semantics and Continuous Algebras
- Institutions: abstract model theory for specification and programming
- Fuzzy logic programming