Translation structures for fuzzy model theory

DOI10.1016/J.FSS.2024.108866MaRDI QIDQ6932767zbMATH OpenFDO

Authors Răzvan Diaconescu

Publication date 8 September 2025

Published in Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.FSS.2024.108866

Mathematics Subject Classification ID

Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Abstract model theory (03C95) Categorical logic, topoi (03G30)

Cites work

• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification
• CASL: the Common Algebraic Specification Language.
• Elementary Diagrams in Institutions
• Extra theory morphisms for institutions: Logical semantics for multi-paradigm languages
• Foundations of algebraic specification and formal software development.
• Frame definability in finitely valued modal logics
• Fuzzy equational logic
• Fuzzy logic. Mathematical tools for approximate reasoning
• Generalised graded interpolation
• Graded consequence: an institution theoretic study
• Graded consequence: further studies
• Grothendieck institutions
• scientific article; zbMATH DE number 4018380 (Why is no real title available?)
• scientific article; zbMATH DE number 4097351 (Why is no real title available?)
• scientific article; zbMATH DE number 3637652 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 1929971 (Why is no real title available?)
• scientific article; zbMATH DE number 3999262 (Why is no real title available?)
• scientific article; zbMATH DE number 6276266 (Why is no real title available?)
• Implicit Partiality of Signature Morphisms in Institution Theory
• Institution morphisms
• Institution-independent model theory
• Institutional semantics for many-valued logics
• Institutions: abstract model theory for specification and programming
• L-fuzzy sets
• Lattice Theory: Foundation
• Logical foundations of CafeOBJ
• Monadic extensions of institutions
• On Fuzzy Logic I Many‐valued rules of inference
• On theories and models in fuzzy predicate logics
• Preservation in many-valued truth institutions
• Residuated lattices.
• Residuated lattices. An algebraic glimpse at substructural logics
• Specifications in an arbitrary institution
• The distributed ontology, modeling and specification language -- DOL
• The logic of inexact concepts

Cited in

(1)

• The institution of many-logics modal logic

This page was built for publication: Translation structures for fuzzy model theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6932767)