Characterizing Implications of Injective Partial Orders

DOI10.1007/978-3-540-73681-3_42MaRDI QIDQ3608756zbMATH OpenOpenAlexFDO

Authors José L. Balcázar, Gemma C. Garriga

Publication date 6 March 2009

Published in Conceptual Structures: Knowledge Architectures for Smart Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73681-3_42

Mathematics Subject Classification ID

Classical propositional logic (03B05) Galois correspondences, closure operators (in relation to ordered sets) (06A15) Knowledge representation (68T30)

Recommendations

• scientific article; zbMATH DE number 2159643
• Bases of closure systems
• Ordered direct implicational basis of a finite closure system
• Ordering based on implications.
• scientific article; zbMATH DE number 61569

This page was built for publication: Characterizing Implications of Injective Partial Orders

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