Preservation in many-valued truth institutions

DOI10.1016/j.fss.2022.08.024zbMath1522.03350MaRDI QIDQ6083145

Răzvan Diaconescu

Publication date: 31 October 2023

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

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Many-valued logic (03B50) Abstract model theory (03C95)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the algebra of structured specifications
• Foundations of algebraic specification and formal software development.
• Monadic extensions of institutions
• Grothendieck institutions
• Structural induction in institutions
• Residuated lattices. An algebraic glimpse at substructural logics
• Graded consequence: an institution theoretic study
• An institution-independent proof of the Beth definability theorem
• On the existence of free models in abstract algebraic institutions
• Quasi-varieties in abstract algebraic institutions
• Metamathematics of fuzzy logic
• Partial algebras-survey of a unifying approach towards a two-valued model theory for partial algebras
• Ultraproducts and possible worlds semantics in institutions
• Institutional semantics for many-valued logics
• Institution-independent model theory
• On quasi-varieties of multiple valued logic models
• Implicit Kripke semantics and ultraproducts in stratified institutions
• Lattice Theory: Foundation
• On theories and models in fuzzy predicate logics
• On Fuzzy Logic I Many‐valued rules of inference
• Regular and Strongly Finitary Structures Over Strongly Algebroidal Categories
• Institutions: abstract model theory for specification and programming
• Weak inclusion systems
• Elementary Diagrams in Institutions
• Mirror, mirror in my hand: a duality between specifications and models of process behaviour
• Axiomatizability in inclusive equational logics
• Composing Hidden Information Modules over Inclusive Institutions
• Continuous Model Theory. (AM-58)
• On Extensions of Elementary Logic
• Hybridisation of Institutions in HETS (Tool Paper).
• Recent Trends in Algebraic Development Techniques
• Non-standard analysis

This page was built for publication: Preservation in many-valued truth institutions