Graded consequence: an institution theoretic study

DOI10.1007/S00500-014-1231-YzbMath1388.03068OpenAlexW1985249224MaRDI QIDQ894661

Răzvan Diaconescu

Publication date: 2 December 2015

Published in: Soft Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00500-014-1231-y

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Many-valued logic (03B50)

Related Items (5)

Preservation in many-valued truth institutions ⋮ Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning ⋮ Abstract Constraint Data Types ⋮ The Algebra of Opposition (and Universal Logic Interpretations) ⋮ Generalised graded interpolation

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
• Foundations of algebraic specification and formal software development.
• Monadic extensions of institutions
• Structural induction in institutions
• Residuated lattices. An algebraic glimpse at substructural logics
• Metamathematics of fuzzy logic
• Partial algebras-survey of a unifying approach towards a two-valued model theory for partial algebras
• Categorical abstract algebraic logic: Algebraizable institutions
• Institutional semantics for many-valued logics
• Institution-independent model theory
• The logic of inexact concepts
• Many-Valued Logics, Fuzzy Logics and Graded Consequence: A Comparative Appraisal
• On quasi-varieties of multiple valued logic models
• Lattice Theory: Foundation
• On theories and models in fuzzy predicate logics
• Proof Systems for Institutional Logic
• On Fuzzy Logic I Many‐valued rules of inference
• Institutions: abstract model theory for specification and programming
• Mirror, mirror in my hand: a duality between specifications and models of process behaviour
• Graded consequence: further studies
• A logical framework combining model and proof theory
• Fuzzy logic. Mathematical tools for approximate reasoning

This page was built for publication: Graded consequence: an institution theoretic study