Characterizing Implications of Injective Partial Orders

DOI10.1007/978-3-540-73681-3_42zbMath1213.68597OpenAlexW2171894505MaRDI QIDQ3608756

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

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

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