An algebraic study of exactness in partial contexts

DOI10.1016/J.IJAR.2013.09.010zbMATH Open1316.03041OpenAlexW1976117441MaRDI QIDQ2353690FDOQ2353690

Authors: Tommaso Moraschini 

Publication date: 16 July 2015

Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ijar.2013.09.010

Recommendations

• scientific article; zbMATH DE number 1192208
• Near-equational and equational systems of logic for partial functions. I
• Algebras and logics of partial quasiary predicates
• Kleene algebra of partial predicates
• Applicative compositions of partial predicates

zbMATH Keywords

fixed pointabstract algebraic logicalgebraic logicKleene latticepartial predicates\textsf{DMF} lattice

Mathematics Subject Classification ID

Knowledge representation (68T30) Logical aspects of lattices and related structures (03G10) Abstract algebraic logic (03G27) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30)

Cites Work

• Rough sets
• The class of Kleene algebras satisfying an interpolation property and Nelson algebras
• Algebraizable logics
• Title not available (Why is that?)
• Lattices With Involution
• Protoalgebraic logics
• Belnap's Four-Valued Logic and De Morgan Lattices
• Update to ``A survey of abstract algebraic logic
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (1)

• Remarks on exactness notions pertaining to pushouts

This page was built for publication: An algebraic study of exactness in partial contexts

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