An algebraic study of exactness in partial contexts

DOI10.1016/J.IJAR.2013.09.010MaRDI QIDQ2353690zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

• scientific article; zbMATH DE number 1192208 (Why is no real title available?)
• scientific article; zbMATH DE number 52771 (Why is no real title available?)
• scientific article; zbMATH DE number 945663 (Why is no real title available?)
• Algebraizable logics
• Belnap's Four-Valued Logic and De Morgan Lattices
• Lattices With Involution
• Protoalgebraic logics
• Rough sets
• The class of Kleene algebras satisfying an interpolation property and Nelson algebras
• Update to ``A survey of abstract algebraic logic

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)