On the Notions of Residuated-Based Coherence and Bilattice-Based Consistence

DOI10.1007/978-3-642-23713-3_15zbMATH Open1347.68329OpenAlexW1892684173WikidataQ58831000 ScholiaQ58831000MaRDI QIDQ3092201FDOQ3092201

Authors Carlos V. Damásio, Nicolás Madrid, Manuel Ojeda-Aciego

Publication date 16 September 2011

Published in Fuzzy Logic and Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-23713-3_15

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37) Knowledge representation (68T30) Fuzzy logic; logic of vagueness (03B52) Other algebras related to logic (03G25) Generalizations of lattices (06B75)

Recommendations

• scientific article; zbMATH DE number 1735917
• A note on Kripke semantics for residuated logic
• scientific article; zbMATH DE number 1688389
• Some new axiomatic extensions of residuated logics
• On a coalgebraic view on logic
• On logics with coimplication
• scientific article; zbMATH DE number 1497877
• On the axioms of residuated structures: independence, dependencies and rough approximations
• Coherence in inquisitive first-order logic
• Mathematical Foundations of Computer Science 2004

Cited in

(1)

• Dedekind–MacNeille completion and Cartesian product of multi-adjoint lattices

This page was built for publication: On the Notions of Residuated-Based Coherence and Bilattice-Based Consistence

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