Graded consequence: an institution theoretic study

DOI10.1007/S00500-014-1231-YMaRDI QIDQ894661zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Graded consequence revisited
• Graded consequence: further studies
• A consequence relation for graded inference within the frame of infinite-valued Łukasiewicz logic
• scientific article; zbMATH DE number 1267562
• Institutional semantics for many-valued logics

Cites work

• scientific article; zbMATH DE number 4130339 (Why is no real title available?)
• scientific article; zbMATH DE number 3864486 (Why is no real title available?)
• scientific article; zbMATH DE number 3936476 (Why is no real title available?)
• scientific article; zbMATH DE number 4037182 (Why is no real title available?)
• scientific article; zbMATH DE number 4089532 (Why is no real title available?)
• scientific article; zbMATH DE number 4097351 (Why is no real title available?)
• scientific article; zbMATH DE number 1189278 (Why is no real title available?)
• scientific article; zbMATH DE number 3497860 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 1998330 (Why is no real title available?)
• scientific article; zbMATH DE number 2070197 (Why is no real title available?)
• scientific article; zbMATH DE number 234027 (Why is no real title available?)
• scientific article; zbMATH DE number 2196612 (Why is no real title available?)
• scientific article; zbMATH DE number 6296808 (Why is no real title available?)
• 13 questions about universal logic. 13 questions to Jean-Yves Béziau by Linda Eastwood
• A logical framework combining model and proof theory
• Categorical abstract algebraic logic: Algebraizable institutions
• Foundations of algebraic specification and formal software development.
• Fuzzy logic. Mathematical tools for approximate reasoning
• Graded consequence: further studies
• Institution-independent model theory
• Institutional semantics for many-valued logics
• Institutions: abstract model theory for specification and programming
• Lattice Theory: Foundation
• Many-Valued Logics, Fuzzy Logics and Graded Consequence: A Comparative Appraisal
• Metamathematics of fuzzy logic
• Mirror, mirror in my hand: a duality between specifications and models of process behaviour
• Monadic extensions of institutions
• On Fuzzy Logic I Many‐valued rules of inference
• On quasi-varieties of multiple valued logic models
• On theories and models in fuzzy predicate logics
• Partial algebras-survey of a unifying approach towards a two-valued model theory for partial algebras
• Proof Systems for Institutional Logic
• Residuated lattices. An algebraic glimpse at substructural logics
• Structural induction in institutions
• The logic of inexact concepts

Cited in

(7)

• The algebra of opposition (and universal logic interpretations)
• Generalised graded interpolation
• Graded consequence revisited
• Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning
• Graded consequence: further studies
• Abstract constraint data types
• Preservation in many-valued truth institutions

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

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